Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Defining own types printers.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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