diff options
Diffstat (limited to 'src/api/python/cvc5.pxi')
| -rw-r--r-- | src/api/python/cvc5.pxi | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi index aa207cd40..d3e47e3d9 100644 --- a/src/api/python/cvc5.pxi +++ b/src/api/python/cvc5.pxi @@ -2706,7 +2706,14 @@ cdef class Sort: def getDatatypeParamSorts(self): """ - :return: the parameter sorts of a datatype sort + Return the parameters of a parametric datatype sort. If this sort + is a non-instantiated parametric datatype, this returns the + parameter sorts of the underlying datatype. If this sort is an + instantiated parametric datatype, then this returns the sort + parameters that were used to construct the sort via + :py:meth:`instantiate()`. + + :return: the parameter sorts of a parametric datatype sort """ param_sorts = [] for s in self.csort.getDatatypeParamSorts(): |