IdrisDoc: Pruviloj.Internals.TyConInfo

Pruviloj.Internals.TyConInfo

MkTyConInfo : (args : List TyConArg) -> (result : Raw) -> TyConInfo
args

Invariant: the names of the args have been made unique

result

The type constructor, applied to its arguments