函子 (Immediate : Immediate) (Non_immediate : Non_immediate) ->
  sig
    类型 t [@@immediate64]
    类型 'a repr =
        Immediate : Sys.Immediate64.Immediate.t Sys.Immediate64.Make.repr
      | Non_immediate 
          Sys.Immediate64.Non_immediate.t Sys.Immediate64.Make.repr
    值 repr : Sys.Immediate64.Make.t Sys.Immediate64.Make.repr
  end