diff options
Diffstat (limited to 'API/API.mli')
| -rw-r--r-- | API/API.mli | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/API/API.mli b/API/API.mli index ccb71179d..065caeac3 100644 --- a/API/API.mli +++ b/API/API.mli @@ -553,6 +553,17 @@ sig | CoFix of ('constr, 'types) pcofixpoint | Proj of Projection.t * 'constr + val kind : constr -> (constr, types, Sorts.t, Univ.Instance.t) kind_of_term + val of_kind : (constr, types, Sorts.t, Univ.Instance.t) kind_of_term -> constr + +val map_with_binders : + ('a -> 'a) -> ('a -> constr -> constr) -> 'a -> constr -> constr +val map : (constr -> constr) -> constr -> constr + +val fold : ('a -> constr -> 'a) -> 'a -> constr -> 'a +val iter : (constr -> unit) -> constr -> unit +val compare_head : (constr -> constr -> bool) -> constr -> constr -> bool + val equal : t -> t -> bool val eq_constr_nounivs : t -> t -> bool val compare : t -> t -> int |