- s2 ^ ".fix(" ^ string_of_int i ^ "," ^
- string_of_int j ^ "," ^ string_of_int h ^ ")"
- | CoFix i -> s2 ^ ".cfx(" ^ string_of_int i ^ ")"
- | Ind (b,i,l)->s2 ^".ind(" ^(if b then "1" else "0")^ "," ^ string_of_int i ^
- "," ^ string_of_int l ^ ")"
- | Con (i,j,l) -> s2 ^ ".con(" ^ string_of_int i ^ "," ^ string_of_int j ^
- "," ^ string_of_int l ^ ")"
+ s2 ^ "#fix:" ^ string_of_int i ^ ":" ^
+ string_of_int j ^ ":" ^ string_of_int h
+ | CoFix i -> s2 ^ "#cfx:" ^ string_of_int i
+ | Ind (b,i,l)->s2 ^"#ind:" ^(if b then "1" else "0")^ ":" ^ string_of_int i ^
+ ":" ^ string_of_int l
+ | Con (i,j,l) -> s2 ^ "#con:" ^ string_of_int i ^ ":" ^ string_of_int j ^
+ ":" ^ string_of_int l