TupleInfo constructor

TupleInfo(DatatypeSort sort, FuncDecl constructor, List<FuncDecl> accessors)

Implementation

TupleInfo(this.sort, this.constructor, this.accessors);