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