val opt_ddump_initial_ast : bool refval opt_ddump_tc_ast : bool refval opt_dno_cast : bool refval opt_reformat : string option refval check_ast :
bool ->
Type_check.Env.t ->
unit 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 descatter :
Effects.side_effect_info ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.t