Skip to main content

sharp_w1_ty

oxilean_std::parameterized_complexity::functions

Function sharp_w1_ty 

Source 
pub fn sharp_w1_ty() -> Expr
Expand description

SharpW1 : Type — the class #W[1] (parameterized counting analogue of W[1]).