Up

module Ir_path

: sig

Tree path handling.

#
module type STEP = Ir_hum.S
#
module type S = sig
#
type step
#
module Step : STEP with type t = step
include Tc.S0 with type t = step list
#
val to_hum : t -> string
#
val of_hum : string -> t
end
#
module Make : functor (S : STEP) -> S with type step = S.t
#
module String_list : S with type step = string
end