Browse thread
Re: Defining own types printers.
- Xavier Leroy
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Xavier Leroy <xavier@T...> |
| Subject: | Re: Defining own types printers. |
> > new_printer "t_bdd_tree" print_bdd;; > Il me semble que cette question et sa re'ponse est interessante pour > tout le monde. Puis-je les bouncer ds la tribune de discussion de Caml ? Oui, certainement, quoique du coup j'aurais pu repondre en anglais. - Xavier