let xmlbodypath = !(Lazy.force basedir) ^ "/" ^ xmlbodyfilename in
let path_scheme_of path = "file://" ^ path in
MatitaMisc.mkdirs (List.map Filename.dirname [innertypespath; xmlpath]);
(* now write to disk *)
ensure_path_exists innertypespath;
let xmlbodypath = !(Lazy.force basedir) ^ "/" ^ xmlbodyfilename in
let path_scheme_of path = "file://" ^ path in
MatitaMisc.mkdirs (List.map Filename.dirname [innertypespath; xmlpath]);
(* now write to disk *)
ensure_path_exists innertypespath;