AIFModule (Averest)

AIFModule Type

Record Field	Description
`abbrevs` Full Usage: `abbrevs` Field type: `AbbrevTable`	Field type: `AbbrevTable`
`context` Full Usage: `context` Field type: `CompileContext`	Field type: `CompileContext`
`depth` Full Usage: `depth` Field type: `Behavior`	Field type: `Behavior`
`drivers` Full Usage: `drivers` Field type: `SystemPart list`	Field type: `SystemPart list`
`iface` Full Usage: `iface` Field type: `Interface`	Field type: `Interface`
`invar` Full Usage: `invar` Field type: `BoolExpr`	Field type: `BoolExpr`
`locals` Full Usage: `locals` Field type: `Interface`	Field type: `Interface`
`name` Full Usage: `name` Field type: `QName`	Field type: `QName`
`root` Full Usage: `root` Field type: `string`	Field type: `string`
`specs` Full Usage: `specs` Field type: `Specification list`	Field type: `Specification list`
`surface` Full Usage: `surface` Field type: `Behavior`	Field type: `Behavior`
`transfers` Full Usage: `transfers` Field type: `Transfer list`	Field type: `Transfer list`

Instance member	Description
`this.printer` Full Usage: `this.printer` Returns: `PrnDrv -> unit`	Returns: `PrnDrv -> unit`