Text.Lex.Formula

Definitions

formula : P1 q (BBErr Void) Formula

Totality: total
Visibility: public export

parseFormula : String -> Either (ParseError Void) Formula

Totality: total
Visibility: export