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