CrdtOption constructor

CrdtOption({ num? machineState, num? futureGrace, LexicalFunc? lexical, })

Implementation

CrdtOption({this.machineState, this.futureGrace, this.lexical});