module Abstract_offset:sig
..end
module type T =sig
..end
type
typed_offset =
| |
NoOffset of |
| |
Index of |
| |
Field of |
module TypedOffset:T
with type t = typed_offset
module TypedOffsetOrTop:T
with type t = [ `Value of typed_offset | `Top ]