sig
  module Dot :
    sig
      module Make :
        functor (B : Mlpost.Signature.Boxlike->
          sig
            type node
            type edge = Mlpost_dot.Dot.Make.node * Mlpost_dot.Dot.Make.node
            val mknode : B.t -> Mlpost_dot.Dot.Make.node
            val place :
              ?orient:[ `BT | `LR | `RL | `TB ] ->
              Mlpost_dot.Dot.Make.node list ->
              Mlpost_dot.Dot.Make.edge list -> B.t list * Mlpost.Path.t list
          end
    end
end