sig val fix_infix_and_parens : Typed_ast.env -> Target.target -> Typed_ast.def list -> Typed_ast.def list end