namespace ProjectName
type DebugInterface(reader, writer) =
member this.send(command) =
(Model.ClientMessage.DebugMessage { Command = command }).writeTo writer
writer.Flush()
member this.getState(): Model.DebugState =
(new Model.ClientMessageRequestDebugState()).writeTo writer
writer.Flush()
Model.DebugState.readFrom reader