module type Selector = sig .. end
sig
end
type selector
type value
val eval : selector -> value -> bool
selector -> value -> bool