ListInfo class

Constructors

ListInfo(DatatypeSort sort, ConstVar nil, FuncDecl isNil, FuncDecl cons, FuncDecl isCons, FuncDecl head, FuncDecl tail)

Properties

cons FuncDecl
final
hashCode int
The hash code for this object.
no setterinherited
final
isCons FuncDecl
final
isNil FuncDecl
final
nil ConstVar
final
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
sort DatatypeSort
final
tail FuncDecl
final

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() String
A string representation of this object.
inherited

Operators

operator ==(Object other) bool
The equality operator.
inherited