/// <inheritdoc />
public override bool Call(object[] arglist, TextBuffer output, BindingEnvironment env, MethodCallFrame predecessor, Step.Continuation k)
{
ArgumentCountException.Check(Name, 0, arglist);
return(k(output.Append(implementation()), env.Unifications, env.State, predecessor));
}
/// <inheritdoc />
public override bool Call(object[] arglist, TextBuffer output, BindingEnvironment env, MethodCallFrame predecessor, Step.Continuation k)
{
return(k(output.Append(implementation(arglist, output, env, predecessor)),
env.Unifications, env.State, predecessor));
}