simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: reexport type state

Browse source
This commit is contained in:
Simon Cruanes 2021-03-17 14:43:46 -04:00
parent 0aa13ca808
commit fd8b598650
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/Sidekick_core.ml
View file

@ -659,6 +659,7 @@ module type SOLVER = sig
val stats : t -> Stat.t val stats : t -> Stat.t
val tst : t -> T.Term.state val tst : t -> T.Term.state
val ty_st : t -> T.Ty.state
val create : val create :
?stat:Stat.t -> ?stat:Stat.t ->

1
src/msat-solver/Sidekick_msat_solver.ml
View file

@ -498,6 +498,7 @@ module Make(A : ARG)
let[@inline] cc self = Solver_internal.cc self.si let[@inline] cc self = Solver_internal.cc self.si
let[@inline] stats self = self.stat let[@inline] stats self = self.stat
let[@inline] tst self = Solver_internal.tst self.si let[@inline] tst self = Solver_internal.tst self.si
let[@inline] ty_st self = Solver_internal.ty_st self.si
let[@inline] mk_atom_lit_ self lit : Atom.t = Sat_solver.make_atom self.solver lit let[@inline] mk_atom_lit_ self lit : Atom.t = Sat_solver.make_atom self.solver lit