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