• en

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