plebeia.test_utils
Simulation.Path
plebeia
plebeia.msync
type name = Name.t
type t = name list
val length : t -> int
val equal : t -> t -> bool
val to_string : t -> string
val pp : Format.formatter -> t -> unit
val to_segments : t -> Plebeia.Segment.t list
val of_segments : Plebeia.Segment.t list -> t option
val is_prefix_of : t -> t -> t option