Transform (dolmen_loop.Dolmen

type language = Logic.language

val code : Code.t

val unsupported_language : Logic.language Report.Error.t

val non_minimal_logic : (string * string) Report.Warning.t

val non_handled_builtin : 
  (string
   * [ `Term of Dolmen_std.Expr.Term.Const.t
     | `Ty of Dolmen_std.Expr.Ty.Const.t ])
    Report.Error.t

module Dummy : sig ... end

module Smtlib2
  (State : State.S)
  (Typer_Types : 
    Typer.Types
      with type ty = Dolmen_std.Expr.ty
       and type ty_var = Dolmen_std.Expr.ty_var
       and type ty_cst = Dolmen_std.Expr.ty_cst
       and type ty_def = Dolmen_std.Expr.ty_def
       and type term = Dolmen_std.Expr.term
       and type term_var = Dolmen_std.Expr.term_var
       and type term_cst = Dolmen_std.Expr.term_cst
       and type formula = Dolmen_std.Expr.term) : 
  sig ... end

module Make
  (State : State.S)
  (Typer_Types : 
    Typer.Types
      with type ty = Dolmen.Std.Expr.ty
       and type ty_var = Dolmen.Std.Expr.ty_var
       and type ty_cst = Dolmen.Std.Expr.ty_cst
       and type ty_def = Dolmen.Std.Expr.ty_def
       and type term = Dolmen.Std.Expr.term
       and type term_var = Dolmen.Std.Expr.term_var
       and type term_cst = Dolmen.Std.Expr.term_cst
       and type formula = Dolmen.Std.Expr.term) : 
  sig ... end