Module Search.Make.Path
module Path:The printable type of paths. A path is a listPrint.PRINTABLE_TYPE
with type t = G.Edge.t list
[e1; ...; eN]
of edges.type
t
The type.
val print : Format.formatter -> t -> unit
A pretty-printer for this type. This function prints values of type
t
in
the current pretty-printing box.