Idris.Desugar.Mutual

Definitions

splitMutual : List PDecl -> (List PDecl, List PDecl)

Totality: total
Visibility: export