package electrod
Formal analysis for the Electrod formal pivot language
Install
Dune Dependency
Authors
Maintainers
Sources
electrod-0.9.0.tbz
sha256=b2263601350f2ffe3cb1671d8bdd256729986b248c1ec39e84ec76a2f2b8408c
sha512=f4c0e7a196c7a14fff51e7f0cc6f91ed8b3df965523d878ab507320f9771ec69efddb31252ff9763ed2f92bc8c369cea73ca20edebbc3c9ff327fe500f33bdf0
doc/electrod.libelectrod/Libelectrod/Simplify1/class-simplify/index.html
Class Simplify1.simplifySource
inherit Libelectrod.Gen_goal.mapmethod visit_'v : unit -> Libelectrod.Ast.var -> Libelectrod.Ast.varmethod visit_'i : unit -> Libelectrod.Ast.ident -> Libelectrod.Ast.identmethod visit_Quant_One : unit ->
Libelectrod.Gen_goal.quant ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.sim_binding
list ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod__Gen_goal.block ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fmlmethod visit_Quant_Lone : unit ->
Libelectrod.Gen_goal.quant ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.sim_binding
list ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.block ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fmlmethod visit_Quant : unit ->
Libelectrod.Gen_goal.quant ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.sim_binding
list ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.block ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fmlmethod visit_Let : unit ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.binding
list ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.block ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fmlmethod visit_Qual : unit ->
Libelectrod.Gen_goal.rqualify ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.exp ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fmlmethod visit_BoxJoin : unit ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.exp ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.exp list ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_expmethod visit_prim_fml : unit ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml ->
(Libelectrod.Ast.var, Libelectrod.Ast.ident) Libelectrod.Gen_goal.prim_fml