module type Internal = sig .. end
sig
end
type t
type 'a structure
'a
val structure : t structure
t structure