/// <summary>
/// Expects this to be a type term. If not an InvalidOperationException will be thrown.
/// </summary>
public void PrintTypeTerm(
TextWriter wr,
System.Threading.CancellationToken cancel = default(System.Threading.CancellationToken),
EnvParams envParams = null)
{
TermPrinting.PrintTypeTerm(this, wr, cancel, envParams);
}
/// <summary>
/// Expects this to be a type term. If not an InvalidOperationException will be thrown.
/// </summary>
public string PrintTypeTerm(
System.Threading.CancellationToken cancel = default(System.Threading.CancellationToken),
EnvParams envParams = null)
{
var sw = new StringWriter();
TermPrinting.PrintTypeTerm(this, sw, cancel, envParams);
return(sw.ToString());
}
