From 9e52183b45ad7a048ac3e1489df823a80bd4ef3c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 17 Feb 2018 15:33:24 -0600 Subject: [PATCH] reexport more types in Term --- src/smt/Term.ml | 13 ++++++++++++- src/smt/Term.mli | 13 ++++++++++++- 2 files changed, 24 insertions(+), 2 deletions(-) diff --git a/src/smt/Term.ml b/src/smt/Term.ml index 470268be..ce7ab70b 100644 --- a/src/smt/Term.ml +++ b/src/smt/Term.ml @@ -1,7 +1,18 @@ open Solver_types -type t = term +type t = term = { + mutable term_id : int; + mutable term_ty : ty; + term_cell : t term_cell; +} + +type 'a cell = 'a term_cell = + | Bool of bool + | App_cst of cst * 'a IArray.t + | If of 'a * 'a * 'a + | Case of 'a * 'a ID.Map.t + | Custom of { view : 'a term_view_custom; tc : term_view_tc; } type 'a custom = 'a Solver_types.term_view_custom = .. diff --git a/src/smt/Term.mli b/src/smt/Term.mli index 7e9628e4..b409591d 100644 --- a/src/smt/Term.mli +++ b/src/smt/Term.mli @@ -1,7 +1,18 @@ open Solver_types -type t = term +type t = term = { + mutable term_id : int; + mutable term_ty : ty; + term_cell : t term_cell; +} + +type 'a cell = 'a term_cell = + | Bool of bool + | App_cst of cst * 'a IArray.t + | If of 'a * 'a * 'a + | Case of 'a * 'a ID.Map.t + | Custom of { view : 'a term_view_custom; tc : term_view_tc; } type 'a custom = 'a Solver_types.term_view_custom = ..