From: Xavier Leroy <xavier@Theory.Stanford.EDU>
Message-Id: <9304221858.AA12377@Tamuz.Stanford.EDU>
Subject: Re: Defining own types printers.
To: Pierre.Weis@inria.fr (Pierre Weis)
Date: Thu, 22 Apr 1993 11:58:30 -0700 (PDT)
In-Reply-To: <9304220845.AA07570@margaux.inria.fr> from "Pierre Weis" at Apr 22, 93 10:45:57 am
> > 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