Predicate signature InputSig::encodeArgumentPosition
Gets the textual representation of argument position pos used in MaD.
signature string encodeArgumentPosition(ArgumentPosition pos)Gets the textual representation of argument position pos used in MaD.
signature string encodeArgumentPosition(ArgumentPosition pos)