Module Inout

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; and
Db.Derefs.