package monomorphic
-
monomorphic
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
This module allows to define a type t with the immediate64 attribute. This attribute means that the type is immediate on 64 bit architectures. On other architectures, it might or might not be immediate.
- since 4.10.0
module type Non_immediate = sig ... endmodule type Immediate = sig ... endmodule Make
(Immediate : Immediate)
(Non_immediate : Non_immediate) :
sig ... end