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