Parameter PrintingInductiveMake.1-Test
val encode : Libnames.qualid -> Names.inductiveval member_message : Pp.t -> bool -> Pp.tval field : stringval title : string
PrintingInductiveMake.1-Testval encode : Libnames.qualid -> Names.inductiveval member_message : Pp.t -> bool -> Pp.tval field : stringval title : string