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 |
val repr : t repr