Module `Logtk__Position.Build`

type t

val empty : t: Empty builder (position=Stop)

val to_pos : t -> position: Extract current position

val of_pos : position -> t: Start from a given position

val prefix : position -> t -> t: Prefix the builder with the given position

val suffix : t -> position -> t: Append position at the end

val type_ : t -> t
val left : t -> t: Add left at the end

val right : t -> t: Add left at the end

val body : t -> t
val head : t -> t
val arg : int -> t -> t: Arg position at the end

include Logtk.Interfaces.PRINT with type t := t

type t

val pp : t CCFormat.printer
val to_string : t -> string