Module Miou_sync

module Trigger : sig ... end
module Computation : sig ... end