comparison src/source_print.sig @ 55:5c97b7cd912b

Parsing signature files
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 11:04:10 -0400
parents 5c3cc348e9e6
children 1a4c51fa615c
comparison
equal deleted inserted replaced
54:a6e185c7c428 55:5c97b7cd912b
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_decl : Source.decl Print.printer 34 val p_decl : Source.decl Print.printer
35 val p_sgn_item : Source.sgn_item Print.printer
35 val p_file : Source.file Print.printer 36 val p_file : Source.file Print.printer
36 end 37 end