electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE

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 Containers.List.t -> 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