module Infix:
sig
val (/) : string -> string -> string
string -> string -> string
p1/p2
concat p1 p2
end