module type Internal = sig .. end
sig
end
include Abstract_value.S
val structure : t Abstract_value.structure
t Abstract_value.structure