Immediate64.Make
module Immediate: Immediate
module Non_immediate: Non_immediate
type t;
type repr('a) =
| Immediate : repr(Immediate.t)
| Non_immediate : repr(Non_immediate.t)
;
let repr: repr(t);