Module Detyping.PrintingInductiveMake

Parameters

• Test : sig ... end

Signature

type t = Names.inductive

val compare : t -> t -> int

val encode : Libnames.qualid -> Names.inductive

val subst : Mod_subst.substitution -> t -> t

val printer : t -> Pp.t

val key : Goptions.option_name

val title : string

val member_message : t -> bool -> Pp.t

val synchronous : bool