PartialOrder constructor

PartialOrder(Sort sort, int id)

Implementation

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