module type Leaf = sig .. end
sig
end
include Abstract_location.S
val key : location Abstract_location.key
location Abstract_location.key
t