module Make: functor (Immediate : Immediate) -> functor (Non_immediate : Non_immediate) -> sig .. end
functor (
Immediate
:
) ->
Non_immediate
sig
end
type t
type 'a repr =
'a
|
Immediate : Sys.Immediate64.Immediate.t repr
Sys.Immediate64.Immediate.t repr
Non_immediate : Sys.Immediate64.Non_immediate.t repr
Sys.Immediate64.Non_immediate.t repr
val repr : t repr
t repr