Compiler.Opts.Constructor

Definitions

data NextMN : Type

Totality: total
Visibility: export

newMN : Ref NextMN Int => String -> Core Name

Visibility: export

intrinsicCons : List (Name, (FC, CDef))

Visibility: export

constructorCExp : Ref NextMN Int => CExp vars -> Core (CExp vars)

Visibility: export

constructorCDef : Ref NextMN Int => CDef -> Core CDef

Visibility: export