Ssrview.AdaptorDb
type kind =
| Forward
| Backward
| Equivalence
val get : kind -> Glob_term.glob_constr list
val declare : kind -> Glob_term.glob_constr list -> unit