Repr

From the SETL Wiki

This page describes the syntax of the repr block.
For an overview of the DRSL, see Data representation sublanguage

[edit] Syntax

A repr block may appear at the start of a program or procedure (following any var declarations.) and is used to declare type constraints and representation hints for some of the variables in the program.

Declarations that may appear within a repr block are:

base declarations, e.g.
 

base identifiers: string;
base misc_values;
plex base node_ids;

mode declarations, e.g.


mode node_id: elmt node_ids;

variable representation declarations, e.g.

pred_node, succ_node: node_id;