out_clause soch (KP.sprintf "sig %s." name);
out_clause soch "accum_sig grundlagen.";
out_clause soch (KP.sprintf "type line+%02u t -> int -> t -> o." !chunk);
close_out soch;
let soch = open_out (KF.concat dir name ^ ext_tj) in
out_preamble soch;
out_clause soch (KP.sprintf "sig %s." name);
out_clause soch "accum_sig grundlagen.";
out_clause soch (KP.sprintf "type line+%02u t -> int -> t -> o." !chunk);
close_out soch;
let soch = open_out (KF.concat dir name ^ ext_tj) in
out_preamble soch;