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