module type Leaf = sig .. end
sig
end
Signature for a leaf module of abstract locations.
include Abstract_location.S
val key : location Abstract_location.key
location Abstract_location.key
The key identifies the module and the type t of abstract locations.
t