--- !ruby/object:RI::MethodDescription 
aliases: []

block_params: 
comment: 
- !ruby/struct:SM::Flow::P 
  body: Call unifies the actual function paramaters against the formal function paramaters, if a function type signature already exists in the function table. If no type signature for the function name exists, the function is added to the function list.
- !ruby/struct:SM::Flow::P 
  body: Returns a sexp returned to the type of the function return value, or unknown if it has not yet been determined.
full_name: TypeChecker#process_call
is_singleton: false
name: process_call
params: (exp)
visibility: public
