process_constructor

constructor

The type the constructor should generate

data_type_name

The environment where we define the constructor

Create a constructor and put it in an environment.

Implements type constructions and pattern matching.
Using this package, you can specify a type of object and write functions
that matches against the structure of objects of such types to program
data structure transformations more succinctly.

process_constructor: Create a constructor and put it in an environment.

Description

Usage

Arguments