Idris2Doc : Control.Delayed

Control.Delayed

inf : Bool -> Type -> Type
Type-level function for a conditionally infinite type.
lazy : Bool -> Type -> Type
Type-level function for a conditionally lazy type.