Module type Include.Inherent_Module

val a : t