(module Core_set)