defs-channel

record defs-channel {
  value: string,
}