TreeOrder constructor

TreeOrder(
  1. Sort sort,
  2. int id
)

Implementation

TreeOrder(Sort sort, this.id)
    : super(
        parameters: [id],
        domain: [sort, sort],
        range: BoolSort(),
        name: const Sym('tree-order'),
        kind: FuncKind.specialRelationTo,
      );