Module type Abstract_value.Leaf

module type Leaf = sig .. end

Signature for a leaf module of abstract values.


include Abstract_value.S
val key : t Abstract_value.key

The key identifies the module and the type t of abstract values.