ListInfo constructor

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

Implementation

ListInfo(
  this.sort,
  this.nil,
  this.isNil,
  this.cons,
  this.isCons,
  this.head,
  this.tail,
);