• Andrei Paskevich's avatar
    Parser: admit anonymous binders · eaed0078
    Andrei Paskevich authored
    In programs, we do not really care about unnamed typed variables,
    and it is convenient to write ((fun s _ -> s) : int -> bool -> int)
    in logical terms.
    eaed0078
parser.mly 30.7 KB