module DF: Data_mem.Create
(
Data
)
module D: M.D
module F: M.D.F
module Cformat: D.Register
(
sig
end
)
module Aformat: D.Register
(
sig
end
)
val in_range : Ctypes.arrayinfo ->
Formula.integer F.term -> F.pred
module Compound: functor (
R
:
sig
end
) ->
sig
.. end
module LoadedCompound: sig
.. end
module StoredCompound: sig
.. end
module UpdatedCompound: sig
.. end
val record_format : Cformat.t -> 'a D.F.term
val array_format : Aformat.t -> 'a D.F.term
val loaded : Ctypes.c_object -> unit
val stored : Ctypes.c_object -> unit