idris-0.9.14.3: Functional Programming Language with Dependent Types
Idris.Elab.Record
elabRecord :: ElabInfo -> SyntaxInfo -> Docstring -> FC -> Name -> PTerm -> DataOpts -> Docstring -> Name -> PTerm -> Idris () Source