Predicate signature InputSig::encodeWithContent

Gets the textual representation of with-content c used in MaD.

arg will be printed in square brackets ([]) after the result, unless arg is the empty string.