Module type NonStandardSem.S


module type S = StandardSem.S