Make (dolmen_loop.Dolmen_loop.Transform.Make)

Parameters

module State : State.S

module 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

Signature

type stmt = Typer_Types.typechecked Typer_Types.stmt

module type S = sig ... end

type 'acc transformer = (module S with type acc = 'acc)

type state =

| No_transform : state
| Transform : {
1. acc : 'acc;
2. transformer : 'acc transformer;
} -> state

module Smt2 : sig ... end

val pipe : string

val state : state State.key

val init : ?compute_logic:bool -> ?lang:language -> State.t -> State.t

val transform : 
  State.t ->
  Typer_Types.typechecked Typer_Types.stmt list ->
  State.t * Typer_Types.typechecked Typer_Types.stmt list