(ioa
 ((sorts
   (s0 "Bool" () (scope 0))
   (s1 "type" () (scope 0))
   (s20 "Request" () (scope 2))
   (s21 "Request_tag" () (scope 2)))
  (ops
   (op0 (infix "/\\") ((s0 s0) s0) (scope 0))
   (op1 (id "false") (() s0) (scope 0))
   (op2 (infix "<=>") ((s0 s0) s0) (scope 0))
   (op3 (infix "=>") ((s0 s0) s0) (scope 0))
   (op4 (prefix "~") ((s0) s0) (scope 0))
   (op5 (infix "\\/") ((s0 s0) s0) (scope 0))
   (op6 (id "true") (() s0) (scope 0))
   (op7 (infix "=") ((s0 s0) s0) (scope 0))
   (op8 (infix "~=") ((s0 s0) s0) (scope 0))
   (op9 (if) ((s0 s0 s0) s0) (scope 0))
   (op309 (infix "=") ((s20 s20) s0) (scope 2))
   (op310 (infix "~=") ((s20 s20) s0) (scope 2))
   (op311 (if) ((s0 s20 s20) s20) (scope 2))
   (op312 (id "Request") (() s1) (scope 2))
   (op313 (select "a") ((s20) s0) (scope 2))
   (op314 (id "a") ((s0) s20) (scope 2))
   (op315 (select "b") ((s20) s0) (scope 2))
   (op316 (id "b") ((s0) s20) (scope 2))
   (op317 (infix "=") ((s21 s21) s0) (scope 2))
   (op318 (infix "~=") ((s21 s21) s0) (scope 2))
   (op319 (if) ((s0 s21 s21) s21) (scope 2))
   (op320 (id "Request_tag") (() s1) (scope 2))
   (op321 (id "a") (() s21) (scope 2))
   (op322 (id "b") (() s21) (scope 2))
   (op323 (id "succ") ((s21) s21) (scope 2))
   (op324 (id "tag") ((s20) s21) (scope 2)))
  (vars))
 (union s20 s21 op324 ("a" s0 op314 op313) ("b" s0 op316 op315))
 (enum s21 op323 ("a" op321) ("b" op322)))