Module type Abstract_location.Leaf

module type Leaf = sig .. end
Signature for a leaf module of abstract locations.

include Abstract_location.S
val key : location Abstract_location.key
The key identifies the module and the type t of abstract locations.