Idris2Doc : Compiler.Opts.ToplevelConstants

Compiler.Opts.ToplevelConstants

(source)
Definitions
sortDefs : List (Name, (FC, NamedDef)) -> Core (List (Name, (FC, NamedDef)), SortedSet Name)
  Visibility: export