module LEAF (TYPES, SIZE) is ------------------------------------------------------------------------------- process LEAF [MSG: any] (ext: Extension, pc: PC, ID: Pid) is case ext in DONT_CARE -> MSG (ID, "don't care", pc) | BITSTREAM -> MSG (ID, "bitstream", pc) | VECTOR -> MSG (ID, "vector", pc) end case end process ------------------------------------------------------------------------------- end module