sort property

DatatypeSort sort
final

Implementation

final DatatypeSort sort;