blob: 1832ed66306e5c26a13e2d32542d0c3fd31ed3da (
plain)
1
2
3
4
|
val dangling_identity : Environ.env -> Evd.evar_map -> Evd.evar_map * EConstr.t
val example_sort_app_lambda : unit -> unit
val example_classes : int -> unit
val example_canonical : int -> unit
|