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