Previous
Up
Module type
NonStandardSem.S
module type
S =
StandardSem.S