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.