Skip to main content

potential_function_ty

oxilean_std::certified_algorithms::functions

Function potential_function_ty 

Source 
pub fn potential_function_ty() -> Expr
Expand description

PotentialFunction : Type → Type — a potential function for amortized analysis.