Prime_retraction.RETRACTABLE
type key
type t
val compare : t -> t -> int
val compare_key : key -> t -> int