We have high-level functions defined in Seq, Map, Set, ... etc.

In 90%. it's quite simple translations, so (after looking on Iterable) can be a good starting point for contribution.

In that regard, the crate currently only supports:

#[with]
let ... = <call>?...?

as well as:

#[with]
let ... = match <call> { ... }
// rest *after* match (same scope)

which unsugar(s) to:

with_<call>(..., |__anon__| {
    let ... = match __anon__ { ... };
    // rest *after* match (same scope)
})

But it would be really nice i

The coe is incompatible with some versions of JRE as mentioned in #76

This should be checked by the dependency checker and a error message should be printed, something along the lines off:

The application found a Java Runtime Environment (JRE), but it is not compatible with the co-simulation engine (COE).
The found version is: xxx
Compatible versions are:
...

Please install a compat