open-response

record open-response {
  already-open: option​<bool>,
  channel: string,
  no-op: option​<bool>,
  ok: defs-ok-true,
}