functor (X : Signature.Boxlike->
  sig
    val gen_place :
      place:(Mlpost.Box.t Mlpost.Tree_adv.t -> Mlpost.Box.t) ->
      X.t Mlpost.Tree_adv.t -> X.t Mlpost.Tree_adv.t
    val place :
      ?ls:Mlpost.Num.t ->
      ?cs:Mlpost.Num.t ->
      ?valign:Mlpost.Box.position ->
      ?halign:Mlpost.Box.position ->
      X.t Mlpost.Tree_adv.t -> X.t Mlpost.Tree_adv.t
  end