package electrod

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Libelectrod.Simplify1Source

Simplifies Electrod models.

EXPECTED TO BE BE DONE AFTER CHECKING ARITIES.

Sourcemodule TS = Tuple_set
Sourcemodule L = Location
Sourceval fresh_var : string -> ('a, 'b) Gen_goal.exp -> Var.t
Sourceval 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 * ('a, Ast.ident) Gen_goal.prim_fml
Sourceclass simplify : object ... end
Sourceval run : Ast.t -> Ast.t
Sourceval transfo : (Ast.t, Ast.t) Transfo.t
OCaml

Innovation. Community. Security.