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