| 7 |
| Char of Chars.v |
| Char of Chars.v |
| 8 |
| Abstraction of (Types.descr * Types.descr) list * (t -> t) |
| Abstraction of (Types.descr * Types.descr) list * (t -> t) |
| 9 |
| String of int * int * string * t |
| String of int * int * string * t |
| 10 |
|
| Absent |
| 11 |
|
|
| 12 |
|
|
| 13 |
exception CDuceExn of t |
exception CDuceExn of t |
| 61 |
| Abstraction _ -> Format.fprintf ppf "<fun>" |
| Abstraction _ -> Format.fprintf ppf "<fun>" |
| 62 |
| String (i,j,s,q) -> |
| String (i,j,s,q) -> |
| 63 |
Format.fprintf ppf "<string:%i-%i,%S,%a>" i j s print q |
Format.fprintf ppf "<string:%i-%i,%S,%a>" i j s print q |
| 64 |
|
| Absent -> |
| 65 |
|
Format.fprintf ppf "<[absent]>" |
| 66 |
and print_quoted_str ppf = function |
and print_quoted_str ppf = function |
| 67 |
| Pair (Char c, q) -> |
| Pair (Char c, q) -> |
| 68 |
Chars.print_v_in_string ppf c; |
Chars.print_v_in_string ppf c; |