Predicate Input::encodeReturn

Gets the textual representation of return kind rk used in MaD.

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

Import path

import semmle.go.dataflow.internal.FlowSummaryImpl

string encodeReturn(ReturnKind rk, string arg)