`sig
module type Non_immediate = sig type t end
module type Immediate = sig type t [@@immediate] end
module Make :
functor (Immediate : Immediate) (Non_immediate : Non_immediate) ->
sig
type t [@@immediate64]
type 'a repr =
Immediate : Sys.Immediate64.Immediate.t Sys.Immediate64.Make.repr
| Non_immediate :
Sys.Immediate64.Non_immediate.t Sys.Immediate64.Make.repr
val repr : Sys.Immediate64.Make.t Sys.Immediate64.Make.repr
end
end`