previous | top | next

Pseudo-code for parsing BCI-nf terms


We assume that in parsing, the parent pointer is passed around.