Idris2Doc : Control.Applicative.Const

Control.Applicative.Const

Const : Type -> Type -> Type
Totality: total
Constructor: