Text.Lex.Formula

Definitions

formula : P1 q (BoundedErr Void) Formula

Totality: total
Visibility: public export

parseFormula : String -> Either (ParseError Void) Formula

Totality: total
Visibility: export