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);