//pretty print
public override void Print(PrettyPrinter printer)
{
printer.Println("OpenDerived_Unknown (");
using (printer.IndentCookie()) {
printer.Print("openDerivedString = "); OpenDerivedString.PrintEx(printer); printer.Println();
printer.Print("openString = "); OpenString.PrintEx(printer); printer.Println();
}
printer.Print(")");
}
//hash code trait
public override int GetHashCode()
{
unchecked {
var hash = 0;
hash = hash * 31 + OpenDerivedString.GetHashCode();
hash = hash * 31 + OpenString.GetHashCode();
return(hash);
}
}
