diff options
Diffstat (limited to 'src/verit/verit.mli')
-rw-r--r-- | src/verit/verit.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/verit/verit.mli b/src/verit/verit.mli index 126a02b..68ee317 100644 --- a/src/verit/verit.mli +++ b/src/verit/verit.mli @@ -7,7 +7,7 @@ val clear_all : unit -> unit val import_all : string -> string -> - SmtAtom.Btype.reify_tbl * SmtAtom.Op.reify_tbl * SmtAtom.Atom.reify_tbl * + SmtBtype.reify_tbl * SmtAtom.Op.reify_tbl * SmtAtom.Atom.reify_tbl * SmtAtom.Form.reify * SmtAtom.Form.t list * int * SmtAtom.Form.t SmtCertif.clause val parse_certif : @@ -21,10 +21,10 @@ val theorem : Names.identifier -> string -> string -> unit val checker : string -> string -> unit val export : out_channel -> - SmtAtom.Btype.reify_tbl -> SmtAtom.Op.reify_tbl -> + SmtBtype.reify_tbl -> SmtAtom.Op.reify_tbl -> SmtAtom.Form.t -> unit val call_verit : - SmtAtom.Btype.reify_tbl -> + SmtBtype.reify_tbl -> SmtAtom.Op.reify_tbl -> SmtAtom.Form.t -> SmtAtom.Form.t SmtCertif.clause * SmtAtom.Form.t -> |