Up – Package index » electrod » Library electrod.libelectrod » Libelectrod » Elo_to_model1

Module `Libelectrod.Elo_to_model1`Source

Provides a converter from Electrod models to (part of) a solver model.

Sourcemodule S = Iter

module Make
  (Ltl : Solver.LTL)
  (ConvertFormulas : 
    Elo_to_ltl_intf.S with type ltl = Ltl.t and type atomic = Ltl.Atomic.t)
  (Model : 
    Solver.MODEL
      with type ltl = ConvertFormulas.ltl
       and type atomic = ConvertFormulas.atomic) : 
  sig ... end