let _ = Sys.command (Printf.sprintf "mkdir -p %s" path) in
let name = F.concat path (ccs_name ^ ext) in
let och = open_out name in
let out = output_string och in
xml out "1.0" "UTF-8"; doctype out ccs_root system;
let _ = Sys.command (Printf.sprintf "mkdir -p %s" path) in
let name = F.concat path (ccs_name ^ ext) in
let och = open_out name in
let out = output_string och in
xml out "1.0" "UTF-8"; doctype out ccs_root system;
let contents out tab =
tag "ToPositive" [arity s.Q.tp; marks s.Q.tp] out tab;
tag "ToOne" [arity s.Q.t1; marks s.Q.t1] out tab;
let contents out tab =
tag "ToPositive" [arity s.Q.tp; marks s.Q.tp] out tab;
tag "ToOne" [arity s.Q.t1; marks s.Q.t1] out tab;