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

Fixed functor syntax for ocaml 4.00.1 in solver_types

Browse source
This commit is contained in:
Guillaume Bury 2016-04-23 20:18:25 +02:00
parent 22ebead17a
commit 1a0fc95147
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
solver/solver_types.mli
View file

@ -14,12 +14,14 @@
module type S = Solver_types_intf.S module type S = Solver_types_intf.S
module McMake : module McMake :
functor (E : Expr_intf.S)(Dummy : sig end) -> functor (E : Expr_intf.S) ->
functor (Dummy : sig end) ->
S with type term = E.Term.t and type formula = E.Formula.t and type proof = E.proof S with type term = E.Term.t and type formula = E.Formula.t and type proof = E.proof
(** Functor to instantiate the types of clauses for a solver. *) (** Functor to instantiate the types of clauses for a solver. *)
module SatMake : module SatMake :
functor (E : Formula_intf.S)(Dummy : sig end) -> functor (E : Formula_intf.S) ->
functor (Dummy : sig end) ->
S with type term = E.t and type formula = E.t and type proof = E.proof S with type term = E.t and type formula = E.t and type proof = E.proof
(** Functor to instantiate the types of clauses for a solver. *) (** Functor to instantiate the types of clauses for a solver. *)