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