Skip to main content

iris_prop_ty

oxilean_std::program_logics::functions

Function iris_prop_ty 

Source 
pub fn iris_prop_ty() -> Expr
Expand description

IrisProp: a proposition in the Iris base logic (step-indexed). Type: Type