func00.fq

bind 0 f : {v: func(0, [int; int]) | []}

constraint:
  env [ 0 ]
  lhs {v : int | [f = f]}
  rhs {v : int | [0 < 7]}
  id 1 tag []