Module NonStandardSem


module NonStandardSem: sig .. end
see standardsem.mli for this interface


2 Module type for the alphabet
module type Alphabet = StandardSem.Alphabet

2 Functor
module type S = StandardSem.S
module Make: 
functor (Alpha : Alphabet) -> S with module Alpha = Alpha