Module Lemmas.Info
val make : ?hook:DeclareDef.Hook.t -> ?proof_ending:Proof_ending.t -> ?scope:DeclareDef.locality -> ?kind:Decls.logical_kind -> unit -> t
Lemmas.Infoval make : ?hook:DeclareDef.Hook.t -> ?proof_ending:Proof_ending.t -> ?scope:DeclareDef.locality -> ?kind:Decls.logical_kind -> unit -> t