sig_list Production

Definition

sig_list : sig_list : ref
         |

Purpose

A sig_list is simply a colon-separated sequence of zero or more refs.

Semantics

Each ref must refer to a signature.