diff options
| author | Maxime Dénès | 2017-12-11 09:33:28 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-12-11 09:33:28 +0100 |
| commit | 5d52eb47227ed8bd6e67524fc1acc08a95a864fb (patch) | |
| tree | b3a42e7d6d6184f903afd49bb06e3400555ad725 /intf/decl_kinds.ml | |
| parent | 42a1e2b6c4b8e4c290ca234211782333b82319bb (diff) | |
| parent | 4f0607dc76d3981fa67ab6231f2817cd1e6134a5 (diff) | |
Merge PR #6369: [api] Remove kernel dependency on intf (Decl_kind)
Diffstat (limited to 'intf/decl_kinds.ml')
| -rw-r--r-- | intf/decl_kinds.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/intf/decl_kinds.ml b/intf/decl_kinds.ml index 1dea6d9e98..b0c1f66613 100644 --- a/intf/decl_kinds.ml +++ b/intf/decl_kinds.ml @@ -75,7 +75,8 @@ type logical_kind = (** Recursive power of type declarations *) -type recursivity_kind = +type recursivity_kind = Declarations.recursivity_kind = | Finite (** = inductive *) | CoFinite (** = coinductive *) | BiFinite (** = non-recursive, like in "Record" definitions *) +[@@ocaml.deprecated "Please use [Declarations.recursivity_kind"] |