Behavior (Averest)

Behavior Type

Namespace: Averest.Systems
Assembly: Averest.dll
Parent Module: Aif
Base Type: obj
All Interfaces: IEquatable<Behavior> , IStructuralEquatable , IComparable<Behavior> , IComparable , IStructuralComparable

Record Field	Description
`asserts` Full Usage: `asserts` Field type: `GrdAction list`	Field type: `GrdAction list`
`ctrlFlow` Full Usage: `ctrlFlow` Field type: `GrdAction list`	Field type: `GrdAction list`
`dataFlow` Full Usage: `dataFlow` Field type: `GrdAction list`	Field type: `GrdAction list`

Instance member Description

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


                
                  
                    
                      this.printer label

Full Usage: this.printer label

Parameters:

label : string

Returns: PrnDrv -> unit