(module Comparator)