Lemmas.Internal
To be removed, don't use!
val get_info : t -> Info.t
Only needed due to the Proof_global compatibility layer.