comparison src/print.sig @ 275:73456bfde988

Validating schema of a live database
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:40:57 -0400
parents 537db4ee89f4
children fd34210bc3e5
comparison
equal deleted inserted replaced
274:e4baf03a3a64 275:73456bfde988
40 val space : PD.pp_desc 40 val space : PD.pp_desc
41 41
42 val p_list_sep : PD.pp_desc -> 'a printer -> 'a list printer 42 val p_list_sep : PD.pp_desc -> 'a printer -> 'a list printer
43 val p_list : 'a printer -> 'a list printer 43 val p_list : 'a printer -> 'a list printer
44 44
45 val p_list_sepi : PD.pp_desc -> (int -> 'a printer) -> 'a list printer
46
45 val fprint : PD.PPS.stream -> PD.pp_desc -> unit 47 val fprint : PD.PPS.stream -> PD.pp_desc -> unit
46 val print : PD.pp_desc -> unit 48 val print : PD.pp_desc -> unit
47 val eprint : PD.pp_desc -> unit 49 val eprint : PD.pp_desc -> unit
48 50
49 val fpreface : PD.PPS.stream -> string * PD.pp_desc -> unit 51 val fpreface : PD.PPS.stream -> string * PD.pp_desc -> unit