sig
val
op_map : (
'
a
->
'
b)
->
'
a
BatSet
.t
->
'
b
BatSet
.t
end