lyonel2017

@bgregoir, to answer your question. Yes, this PR is interesting for the changes I'm doing in the EC extraction for checking soundness of the [Cryptoline](https://github.com/jasmin-lang/jasmin/tree/cryptoline) approach. I think it will...

Some additional remarks. - For the constructor for lambda ([`Efun1`](https://github.com/cassiersg/jasmin/blob/2dfcc41fac2ea5f173ca6e520bfc4aaab1b56645/compiler/src/toEC.ml#L480)) in `ec_expr`, to avoid currying, I would propose to replacing the string (for the bound variable) with a list of...

- For `Efun1`, yes exactly. - For the type of identifiers and the `ec_expr` type, perhaps something like this (to be discussed): ``` ocaml type ec_type = ... type ec_op...