Module Sys.Immediate64

module Immediate64: sig .. end

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.

module type Non_immediate = sig .. end

module type Immediate = sig .. end

module Make:

functor (Immediate : Immediate) ->

functor (Non_immediate : Non_immediate) -> sig .. end

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.