chickadee » scheme0-pe » spec

Specializes the annotated annprogram with respect to the list staticinputs of static argument values. Returns the residual Scheme0 program.