public override object Direct(DirectEqualityExplanation target, Tuple <InfoPanelContent, PrettyPrintFormat, bool, int> arg)
{
var content = arg.Item1;
var format = arg.Item2;
var shouldPrintSource = arg.Item3;
var indent = arg.Item4;
var indentString = getIndentString(format, indent);
if (shouldPrintSource)
{
content.Append(indentString);
target.source.PrettyPrint(content, format, indent);
}
content.switchToDefaultFormat();
content.Append($"\n{indentString}");
target.equality.printName(content, format);
if (target.equality.Responsible != null)
{
content.Append($" ({target.equality.Responsible.Quant.PrintName})");
}
else
{
content.Append($" (asserted)");
}
content.Append($"\n{indentString}");
target.target.PrettyPrint(content, format, indent);
return(null);
}
public override object Direct(DirectEqualityExplanation target, Action <Term> arg)
{
arg(target.source);
arg(target.target);
arg(target.equality);
return(null);
}
