type t
val empty : tEmpty builder (position=Stop)
val to_pos : t -> positionExtract current position
val of_pos : position -> tStart from a given position
val prefix : position -> t -> tPrefix the builder with the given position
val suffix : t -> position -> tAppend position at the end
val type_ : t -> tval left : t -> tAdd left at the end
val right : t -> tAdd left at the end
val body : t -> tval head : t -> tval arg : int -> t -> tArg position at the end
include Interfaces.PRINT with type t := t
type t
val pp : t CCFormat.printerval to_string : t -> string