val opt_ddump_initial_ast : bool refval opt_ddump_tc_ast : bool refval opt_reformat : string option refval check_ast :
bool ->
Type_check.Env.t ->
Ast_util.uannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t * Effects.side_effect_infoval load_files :
?target:Target.target ->
string ->
(Arg.key * Arg.spec * Arg.doc) list ->
Type_check.Env.t ->
string list ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t * Effects.side_effect_infoval initial_rewrite :
Effects.side_effect_info ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t