1signature HM_BaseEnv = 2sig 3 4 val mosml_indicator : string 5 val make_base_env : HM_Cline.t -> Holmake_types.env 6 val debug_info : HM_Cline.t -> string 7 8end 9
1signature HM_BaseEnv = 2sig 3 4 val mosml_indicator : string 5 val make_base_env : HM_Cline.t -> Holmake_types.env 6 val debug_info : HM_Cline.t -> string 7 8end 9