defs-ts

record defs-ts {
  value: string,
}