next up previous contents
Next: Preconditions Up: Algorithms Previous: Definition   Contents

Requirements on types



Vincent Le Maout 2003-07-08