What each definition in ids does with its formals, as ArgProps. A formal is ArgProp.Alias only when the result is always that formal; every other bit is what the calls in the body state for it.
ids
FunctionSemantics.argumentRoles
What each definition in
idsdoes with its formals, as ArgProps. A formal is ArgProp.Alias only when the result is always that formal; every other bit is what the calls in the body state for it.