We have introduced a distinction between SrcTy and Ty, but have not otherwise distinguished between the source level language and the internal language. However, there are more differences.
Only source level: Seq (and possibly some of the looping constructs)
Only internal: VectComp, ReadSrc, WriteSnk, ReadInternal, WriteInternal, Mitigate
We have introduced a distinction between
SrcTy
andTy
, but have not otherwise distinguished between the source level language and the internal language. However, there are more differences.Only source level:
Seq
(and possibly some of the looping constructs) Only internal:VectComp
,ReadSrc
,WriteSnk
,ReadInternal
,WriteInternal
,Mitigate