diff options
Diffstat (limited to 'src/boot/util/common.ml')
| -rw-r--r-- | src/boot/util/common.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/util/common.ml b/src/boot/util/common.ml index d9b91856..f51d818e 100644 --- a/src/boot/util/common.ml +++ b/src/boot/util/common.ml @@ -13,11 +13,13 @@ type node_id = Node of int type temp_id = Temp of int type opaque_id = Opaque of int type constr_id = Constr of int +type crate_id = Crate of int let int_of_node (Node i) = i let int_of_temp (Temp i) = i let int_of_opaque (Opaque i) = i let int_of_constr (Constr i) = i +let int_of_common (Crate i) = i type 'a identified = { node: 'a; id: node_id } ;; |