From 2bb712c9daed96fe7c496ab5ffb2a140a3c0e57a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Jul 2020 17:09:08 -0700 Subject: [PATCH] ml Signed-off-by: Nikolaj Bjorner --- src/api/ml/z3.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/ml/z3.ml b/src/api/ml/z3.ml index 840bd0f03..bf1a8707c 100644 --- a/src/api/ml/z3.ml +++ b/src/api/ml/z3.ml @@ -265,6 +265,7 @@ sig val mk_func_decl_s : context -> string -> Sort.sort list -> Sort.sort -> func_decl val mk_rec_fun : context -> Symbol.symbol -> Sort.sort list -> Sort.sort -> func_decl val mk_rec_fun_s : context -> string -> Sort.sort list -> Sort.sort -> func_decl + val add_rec_def : context -> func_decl -> Expr.expr list -> Expr.expr -> unit val mk_fresh_func_decl : context -> string -> Sort.sort list -> Sort.sort -> func_decl val mk_const_decl : context -> Symbol.symbol -> Sort.sort -> func_decl val mk_const_decl_s : context -> string -> Sort.sort -> func_decl