Remake type t abstract in slot_repr.mli
This todo in slot_repr.mli
:
(* TODO: remake abstract (required index for storage) *)
type t = int
needs to be addressed.
See also !3738 (comment 726861070).
This todo in slot_repr.mli
:
(* TODO: remake abstract (required index for storage) *)
type t = int
needs to be addressed.
See also !3738 (comment 726861070).