Module Astral_internal.Topped_set

module type SET = sig ... end
module Lift (Set : SET) : sig ... end