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