electrod

Formal analysis for the Electrod formal pivot language
IN THIS PACKAGE
module E = Elo
val convert_arity : int option -> int
val get_var : Var.t -> Var.t Containers.List.t -> int
val new_env : Ast.var list -> Var.t list -> Var.t list
val convert_quant : Gen_goal.quant -> E.quant
val convert_comp_op : Gen_goal.comp_op -> E.comp_op
val convert_icomp_op : Gen_goal.icomp_op -> E.icomp_op
val convert_lunop : Gen_goal.lunop -> E.lunop
val convert_lbinop : Gen_goal.lbinop -> E.lbinop
val convert_sim_bindings : Var.t Containers.List.t -> ( Ast.var, Ast.ident ) Gen_goal.sim_binding list -> (Gen_goal.disj * int * E.exp) list
val convert_runop : Gen_goal.runop -> E.runop
val convert_rbinop : Gen_goal.rbinop -> E.rbinop
val convert_ibinop : Gen_goal.ibinop -> E.ibinop
val convert_goal : ( Ast.var, Ast.ident ) Gen_goal.t -> E.goal
val convert : Ast.t -> E.t