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