• Sylvain Dailler's avatar
    Modifying case. · 0c6d5fea
    Sylvain Dailler authored
    Added cut.
    Added exists.
    Should work by calling ttr "case" term.
    Added a function typing_terms that should not be used and which exists
    to avoid duplicating parse_transformation_arg.
    0c6d5fea
why3shell.ml 17.7 KB