sig
  val ( $ ) : Pp.t -> Pp.t -> Pp.t
  val ( $/ ) : Pp.t -> Pp.t -> Pp.t
  val ( $// ) : Pp.t -> Pp.t -> Pp.t
end