aboutsummaryrefslogblamecommitdiffstats
path: root/lib/concepts/Path.mli
blob: bec422173e0e6e5b1cfeca3f8d171f937c18cf90 (plain) (tree)
1
2
3
4
5
6
7
8







                                     
type t = string BatFingerTree.t

val empty : t
val of_list : string list -> t
val to_list : t -> string list
val snoc : t -> string -> t
val to_string : t -> string
val is_prefix : prefix:t -> t -> bool