Skip to main content

approximation_order_ty

oxilean_std::functional_programming::functions

Function approximation_order_ty 

Source 
pub fn approximation_order_ty() -> Expr
Expand description

ApproximationOrder : Type → Type → Prop

Information ordering (⊑) in Scott domain theory.