Idris2Doc : Control.Applicative.Const

Control.Applicative.Const

recordConst : Type -> Type -> Type
Totality: total
Constructor: 
MkConst : a -> Constab

Projection: 
.runConst : Constab -> a