Closed vikraman closed 9 months ago
For both Sig and EqSig, the empty signature can be defined by setting the symbols/names to the empty type.
Sig
EqSig
The sum of two signatures can be defined by taking the sums of the underlying types of symbols/names.
For both
Sig
andEqSig
, the empty signature can be defined by setting the symbols/names to the empty type.The sum of two signatures can be defined by taking the sums of the underlying types of symbols/names.