Idris2Doc : Language.JSON.String

Language.JSON.String

permissiveStringLit : Lexer
Totality: total
stringValue : String -> Maybe String
Totality: total