1 Matching Annotations
  1. Mar 2022
    1. assumes that the function identifier f has a particular type

      How is the initial assumption choosen? Does it start with a completely generic type and then tries to narrow it down?