Re: [Typer] [Git][monnier/typer][graveline] Added Parser_default

31 Mai 2018


      ...

(lambda l -> Parser_default l);

Also knows as
Parser_default;
-- Stefan