
  TYPE
    clt$boolean = record
      value: boolean,
      kind: clt$boolean_kinds,
    recend;

  TYPE
    clt$boolean_kinds = (clc$true_false_boolean, clc$yes_no_boolean,
          clc$on_off_boolean);

