module Abstract_value: sig .. end
sig
end
module type S = sig .. end
type 'a key = 'a Structure.Key_Value.k
'a
'a Structure.Key_Value.k
type 'a structure = 'a Structure.Key_Value.structure
'a Structure.Key_Value.structure
module type Internal = sig .. end
module type External = sig .. end