Module type Include.Dorminant_Module

include Inherent_Module
val a : u