next up previous contents
Next: Requirements on types Up: Algorithms Previous: Description   Contents

Definition

language.h

Vincent Le Maout 2003-07-08