module type Leaf = sig .. end
sig
end
include Abstract_domain.Internal
val key : t Abstract_domain.key
t Abstract_domain.key
t