mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
ML API doc fix
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
f72ac1afb6
commit
d8a84c9f89
|
@ -2404,7 +2404,7 @@ sig
|
|||
|
||||
(** The finite set of distinct values that represent the interpretation of a sort.
|
||||
{!get_sorts}
|
||||
@returns A list of expressions, where each is an element of the universe of the sort *)
|
||||
@return A list of expressions, where each is an element of the universe of the sort *)
|
||||
val sort_universe : model -> Sort.sort -> AST.ast list
|
||||
|
||||
(** Conversion of models to strings.
|
||||
|
|
Loading…
Reference in a new issue