electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE

EXPECTED TO BE BE DONE AFTER CHECKING ARITIES.

module TS = Tuple_set
val fresh_var : string -> ( 'a, 'b ) Gen_goal.exp -> Var.t
class simplify : object ... end
val run : Ast.t -> Ast.t
val transfo : ( Ast.t, Ast.t ) Transfo.t