Up
Next
Module
Inout
module
Inout:
sig
..
end
Inputs-outputs computations.
No function is directly exported: they are registered in:
Db
.
Inputs
for computations of non functionnal inputs;
Db
.
Outputs
for computations of outputs;
Db
.
Operational_inputs
for computation of inout context; and
Db
.
Derefs
.