Module Construction

module Construction: sig .. end

module Compute: 
functor (Etat : Tools.Base) -> 
functor (Alph : Tools.Base) -> sig .. end