Skip to main content

class_sharp_p_ty

oxilean_std::complexity::functions

Function class_sharp_p_ty 

Source 
pub fn class_sharp_p_ty() -> Expr
Expand description

SharpP : Language → Prop — counting problems