Newer
Older
module TestCodec_TestAndSystem {
import from LibItsSecurity_TestSystem all;
type component TCType extends ItsSecurityBaseComponent { }
type record TestRecord {
bitstring bs optional
}
} // End of module TestCodec_TestAndSystem