Functor Sys.Immediate64.Make

module Make: functor (Immediate : Immediate) -> functor (Non_immediate : Non_immediate) -> sig .. end

Parameters:

Immediate : Immediate

Non_immediate : Non_immediate

type t

type 'a repr =

| Immediate : Sys.Immediate64.Immediate.t repr

| Non_immediate : Sys.Immediate64.Non_immediate.t repr

val repr : t repr