Module Runtime_mem


module Runtime_mem: sig .. end
Memory Model for Runtime: more information about it in this document

val dkey : string
val unsupported : ?model:string -> ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a

type compute_int_mode =
| CIMterms
| CIMvalues
| CIMcompute
module Create: 
functor (F : Formula.S) ->
functor (A : Mint.S with module F = F) ->
functor (R : Mfloat.S with module F = F) -> sig .. end