関連ワード:  type inference rules    type theory inference rules    rust type inference rules    types of inference rules in ai    types of inference rules in dbms    what is type inference    list of rules of inference