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