Lcalc.Expand_opThis transformation expands the equality operator, that is polymorphic and needs code generation on the backends that don't natively support it ; note that this is a place-holder, generating inline expansions, and is planned to be replaced with a more serious implementation that generates specific functions. In particular, currently, comparison of enums is quadratic in size.
val expr : Shared_ast.decl_ctx -> 'm Ast.expr -> 'm Ast.expr Shared_ast.boxedval program : 'm Ast.program -> 'm Ast.program