sig
  val parse_file : string -> Ast.defs * Ast.lex_skips
  type instances = Types.instance list Types.Pfmap.t
  val output :
    Typed_ast.env ->
    Typed_ast.var_avoid_f ->
    Target.target -> string option -> Typed_ast.checked_module list -> unit
  val output_alltexdoc :
    Typed_ast.env ->
    Typed_ast.var_avoid_f ->
    string -> string -> Typed_ast.checked_module list -> unit
  val always_replace_files : bool Pervasives.ref
  val only_auxiliary : bool Pervasives.ref
  val output_sig : Format.formatter -> Typed_ast.env -> unit
end