private static string OptCharToString(OptChar ch) { if (OptChar.get_IsSome(ch)) { return ch.Value.ToString(); } else { return ""; } }