Skip to main content

parameter_ty

oxilean_std::parameterized_complexity::functions

Function parameter_ty 

Source 
pub fn parameter_ty() -> Expr
Expand description

Parameter : Type — a natural-number parameter extracted from an instance.