package electrod

  1. Overview
  2. Docs

Simplifies Electrod models.

EXPECTED TO BE BE DONE AFTER CHECKING ARITIES.

module TS = Tuple_set
module L = Location
val fresh_var : string -> ('a, 'b) Gen_goal.exp -> Var.t
val create_new_vars_and_assoc_list_and_comp_fml : Ast.var list -> int option -> Ast.var list * (Var.t, ('a, Ast.ident) Gen_goal.prim_exp) CCList.Assoc.t * ('b, Ast.ident) Gen_goal.prim_fml
class simplify : object ... end
val run : Ast.t -> Ast.t
val transfo : (Ast.t, Ast.t) Transfo.t