Module type Gvars.TYPE

module type TYPE = sig .. end

include SMALLSET

type obs