Mercurial > urweb

comparison src/print.sig @ 3:daa4f1d7a663

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating cons and decls
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 15:26:12 -0500
parents 4202f6eda946
children 537db4ee89f4
comparison
equal deleted inserted replaced
2:64f09f7822c3 3:daa4f1d7a663
46 46
47 val fpreface : PD.PPS.stream -> string * PD.pp_desc -> unit 47 val fpreface : PD.PPS.stream -> string * PD.pp_desc -> unit
48 val preface : string * PD.pp_desc -> unit 48 val preface : string * PD.pp_desc -> unit
49 val epreface : string * PD.pp_desc -> unit 49 val epreface : string * PD.pp_desc -> unit
50 50
51 val fprefaces : PD.PPS.stream -> (string * PD.pp_desc) list -> unit 51 val fprefaces : PD.PPS.stream -> string -> (string * PD.pp_desc) list -> unit
52 val prefaces : (string * PD.pp_desc) list -> unit 52 val prefaces : string -> (string * PD.pp_desc) list -> unit
53 val eprefaces : (string * PD.pp_desc) list -> unit 53 val eprefaces : string -> (string * PD.pp_desc) list -> unit
54
55 val fprefaces' : PD.PPS.stream -> (string * PD.pp_desc) list -> unit
56 val prefaces' : (string * PD.pp_desc) list -> unit
57 val eprefaces' : (string * PD.pp_desc) list -> unit
54 end 58 end