Module Lemmas.Internal

To be removed, don't use!

val get_info : t -> Info.t

Only needed due to the Declare compatibility layer.