defs-ok-true

record defs-ok-true {
  value: string,
}