![]() |
|
Navigation |
Synopsis A production in a grammar or constructor in a data type.
Types
data Production = \cons(Symbol def, list[Symbol] symbols, list[Symbol] kwTypes, map[str, value(map[str,value])] kwDefaults, set[Attr] attributes) | \func(Symbol def, list[Symbol] symbols, list[Symbol] kwTypes, map[str, value(map[str,value])] kwDefaults, set[Attr] attributes) | \choice(Symbol def, set[Production] alternatives) ;
Usage
import Type;
Description Productions represent abstract (recursive) definitions of abstract data type constructors and functions.
![]() |