| 187 |
Extract a sample value from a non empty type; |
Extract a sample value from a non empty type; |
| 188 |
raise Not_found for an empty type |
raise Not_found for an empty type |
| 189 |
**) |
**) |
| 190 |
|
|
| 191 |
|
val print : Format.formatter -> t -> unit |
| 192 |
end |
end |
| 193 |
|
|
| 194 |
module Print : |
module Print : |
| 197 |
val print_const : Format.formatter -> const -> unit |
val print_const : Format.formatter -> const -> unit |
| 198 |
val print : Format.formatter -> node -> unit |
val print : Format.formatter -> node -> unit |
| 199 |
val print_descr: Format.formatter -> descr -> unit |
val print_descr: Format.formatter -> descr -> unit |
|
val print_sample : Format.formatter -> Sample.t -> unit |
|
| 200 |
end |
end |
| 201 |
|
|
| 202 |
val check: descr -> unit |
val check: descr -> unit |
Parent Directory
| 
Revision Log
| 
Patch