package electrod

  1. Overview
  2. Docs
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_fml : Var.t Containers.List.t -> (Ast.var, Ast.ident) Gen_goal.fml -> E.fml
val convert_block : Var.t Containers.List.t -> (Ast.var, Ast.ident) Gen_goal.block -> E.fml Containers.List.t
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_exp : Var.t Containers.List.t -> (Ast.var, Ast.ident) Gen_goal.exp -> E.exp
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_iexp : Var.t Containers.List.t -> (Ast.var, Ast.ident) Gen_goal.iexp -> E.iexp
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
OCaml

Innovation. Community. Security.