<s> from linearize_args import linearize_actual_args , linearize_arg_types <EOL> from rewrite_typed import rewrite_typed <EOL> from type_inference import ( specialize , invoke_result_type , infer_return_type ) </s>
