From aa81d58bb0fe632a8832ec8f5a9abbd86753bf07 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 18 Aug 2017 14:29:53 -0700 Subject: [PATCH] add sequences to ML API #1214 Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3.mli | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli index 7b561f878..0207a53ed 100644 --- a/src/api/ml/z3.mli +++ b/src/api/ml/z3.mli @@ -1828,6 +1828,7 @@ end (** Sequences, Strings and Regular Expressions **) module Seq : sig + (* create a sequence sort *) val mk_seq_sort : context -> Sort.sort -> Sort.sort (* test if sort is a sequence sort *)