Skip to main content

pointer_machine_ty

oxilean_std::certified_algorithms::functions

Function pointer_machine_ty 

Source 
pub fn pointer_machine_ty() -> Expr
Expand description

PointerMachine : Type Pointer machine model for data structure complexity.