comparison src/source_print.sig @ 92:1a4c51fa615c

XML tags with contents
author Adam Chlipala <adamc@hcoop.net>
date Thu, 03 Jul 2008 17:02:42 -0400
parents 5c97b7cd912b
children 71bafe66dbe1
comparison
equal deleted inserted replaced
91:4327abd52997 92:1a4c51fa615c
29 29
30 signature SOURCE_PRINT = sig 30 signature SOURCE_PRINT = sig
31 val p_kind : Source.kind Print.printer 31 val p_kind : Source.kind Print.printer
32 val p_explicitness : Source.explicitness Print.printer 32 val p_explicitness : Source.explicitness Print.printer
33 val p_con : Source.con Print.printer 33 val p_con : Source.con Print.printer
34 val p_exp : Source.exp Print.printer
34 val p_decl : Source.decl Print.printer 35 val p_decl : Source.decl Print.printer
35 val p_sgn_item : Source.sgn_item Print.printer 36 val p_sgn_item : Source.sgn_item Print.printer
36 val p_file : Source.file Print.printer 37 val p_file : Source.file Print.printer
37 end 38 end