Distributed_dsl (distributed_dsl.Distributed

module type Message_delay_intf = sig ... end

module type Temporal_intf = sig ... end

module type Fake_timer_transport_intf = sig ... end

module type Fake_timer_transport_s =
  functor (Message : sig ... end) ->
  functor (Message_delay : Message_delay_intf with type message := Message.t) ->
  functor (Peer : sig ... end) ->
  Fake_timer_transport_intf
    with type message := Message.t
     and type peer := Peer.t

module type Trivial_peer_intf = sig ... end

module Trivial_peer : Trivial_peer_intf

module type S =
  functor (State : sig ... end) ->
  functor (Message : sig ... end) ->
  functor (Message_delay : Message_delay_intf with type message := Message.t) ->
  functor (Message_label : sig ... end) ->
  functor (Timer_label : sig ... end) ->
  functor (Condition_label : sig ... end) ->
  sig ... end

module Make : S

module Fake_timer_transport : Fake_timer_transport_s