Module Import.Poly

module Poly: Core.Std.Polymorphic_compare