Skip to main content

scott_continuous_ty

oxilean_std::functional_programming::functions

Function scott_continuous_ty 

Source 
pub fn scott_continuous_ty() -> Expr
Expand description

ScottContinuous : Type → Type → Prop

Continuous function between Scott domains (preserves directed sups).