Module Bsmlcomm


module Bsmlcomm: sig .. end
Parallel functions with communications

module Make: 
functor (Bsml : Bsmlsig.BSML) -> sig .. end