Module type Abt.Operator
The interface for a module that defines the operators of a language
type 'a t
The type of the operator, usually represented as a sum type.
Each operator should be have the form
Foo of 'a * 'a * ... * 'a
Where the free variables
'a
are arguments to the operatorFoo
.