Idris.IDEMode.MakeClause

Definitions

makeWith : Name -> String -> String

Totality: total
Visibility: export

makeCase : Bool -> Name -> String -> String

Totality: total
Visibility: export