val ity_of_expr : Mltree.expr -> Ity.ityval pv_name : Ity.pvsymbol -> Ident.identtype syntax_env = {in_unguarded_loop : bool;computes_return_value : bool;current_function : Expr.rsymbol;breaks : Ident.Sid.t;returns : Ident.Sid.t;}val is_true : Mltree.expr -> boolval is_false : Mltree.expr -> boolval is_unit : Mltree.ity -> boolval return_or_expr : syntax_env -> C.expr -> C.stmtval likely : Ident.attributeval unlikely : Ident.attributeval handle_likely : Ident.Sattr.t -> C.expr -> C.exprval struct_of_rs : info -> Expr.Wrs.key -> string * (string * C.ty) listval expr : info -> syntax_env -> Mltree.expr -> C.bodyval translate_decl : info -> Mltree.decl -> C.definition list