Module `PP.Parser`

Node parser

val parse : Imandra_surface.Term.t -> node option

Attempt to parse a Term.t as a node