Mercurial > urweb
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 |