• Sylvain Dailler's avatar
    fixes #19 · 3c006d28
    Sylvain Dailler authored
    Merged apply and apply_with (resp. rewrite and rewrite_with). Typo in
    error returned by apply. Also adding session for 19.
    3c006d28
apply.ml 21.6 KB