getDatatypeInfo function
Gets the DatatypeInfo for the given sort
.
Implementation
DatatypeInfo getDatatypeInfo(DatatypeSort sort) =>
currentContext.getDatatypeInfo(sort);
Gets the DatatypeInfo for the given sort
.
DatatypeInfo getDatatypeInfo(DatatypeSort sort) =>
currentContext.getDatatypeInfo(sort);