| public PrettyPrint ( StringBuilder sb ) : void | ||
| sb | StringBuilder | |
| return | void | |
public override void PrettyPrint(StringBuilder sb)
{
sb.Append("const ");
name.PrettyPrint(sb);
sb.Append(" : ");
sort.PrettyPrint(sb);
sb.Append(" = ");
expr.PrettyPrint(sb);
}
