{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"all"}]}
  all subtyping and assignment constraints are met. In essence, the check
- infer: finds the types to use for each type variable such that
  module specifies the constraints, and the infer module solves them.