Module Absint.Sink

module type Kind = sig ... end
module type S = sig ... end
module Make : functor (Kind : Kind) -> S with module Kind = Kind