val (/) : t -> string -> t

a / b is the path a with step b appended. Raises an exception if b is not a valid step, so this should only be used with string constants, not user input.

val (/@) : t -> t -> t

a /@ b is the concatenation of paths a and b.