package electrod

  1. Overview
  2. Docs
Formal analysis for the Electrod formal pivot language

Install

Dune Dependency

github.com Readme Changelog MPL-2.0 License Edit opam file Versions (10)

Authors

  1. D
    David Chemouil
  2. J
    Julien Brunel

Maintainers

  1. D
    David Chemouil <david.chemouil+git@onera.fr>

Sources

electrod-0.7.1.tbz
sha256=e5d2278c99128621110cd015dafcbcae9792bbf2c8bb09d7b02c57d50fa28075
sha512=e08ecf720d35b6ee72f37d780cc3da22f61e22314ffd093ff3314fb89684b863b5c96c97375d48bcb4ba2838ec8f61a495105c989f292c5dbcd095e14f52bdba

doc/electrod.libelectrod/Libelectrod/Elo_recursor/class-recursor/index.html

Class Elo_recursor.recursorSource

constraint 'b recursor = 'b recursor
inherit VisitorsRuntime.fold
inherit VisitorsRuntime.map
method virtual build_Add : 'c -> 'd
method virtual build_All : 'c -> 'e
method virtual build_And : 'c -> 'f
method virtual build_Block : 'c -> 'g list -> 'g
method virtual build_Card : 'c -> Libelectrod.Elo.exp -> 'h -> 'i
method virtual build_Compr : 'c -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> (bool * int * 'h) list -> 'g list -> 'j
method virtual build_Diff : 'c -> 'k
method virtual build_F : 'c -> 'l
method virtual build_FIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'g -> 'g -> 'g -> 'g
method virtual build_False : 'c -> 'g
method virtual build_G : 'c -> 'l
method virtual build_Gt : 'c -> 'm
method virtual build_Gte : 'c -> 'm
method virtual build_H : 'c -> 'l
method virtual build_IBin : 'c -> Libelectrod.Elo.iexp -> Libelectrod.Elo.ibinop -> Libelectrod.Elo.iexp -> 'i -> 'd -> 'i -> 'i
method virtual build_IComp : 'c -> Libelectrod.Elo.iexp -> Libelectrod.Elo.icomp_op -> Libelectrod.Elo.iexp -> 'i -> 'm -> 'i -> 'g
method virtual build_IEq : 'c -> 'm
method virtual build_INEq : 'c -> 'm
method virtual build_IUn : 'c -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'n -> 'i -> 'i
method virtual build_Iden : 'c -> 'j
method virtual build_Iff : 'c -> 'f
method virtual build_Imp : 'c -> 'f
method virtual build_In : 'c -> 'o
method virtual build_Inter : 'c -> 'k
method virtual build_Join : 'c -> 'k
method virtual build_LBin : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'g -> 'f -> 'g -> 'g
method virtual build_LProj : 'c -> 'k
method virtual build_LUn : 'c -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'l -> 'g -> 'g
method virtual build_Lt : 'c -> 'm
method virtual build_Lte : 'c -> 'm
method virtual build_Name : 'c -> Libelectrod.Name.t -> Libelectrod.Name.t -> 'j
method virtual build_Neg : 'c -> 'n
method virtual build_No : 'c -> 'e
method virtual build_None_ : 'c -> 'j
method virtual build_Not : 'c -> 'l
method virtual build_NotIn : 'c -> 'o
method virtual build_Num : 'c -> int -> int -> 'i
method virtual build_O : 'c -> 'l
method virtual build_Or : 'c -> 'f
method virtual build_Over : 'c -> 'k
method virtual build_P : 'c -> 'l
method virtual build_Prime : 'c -> Libelectrod.Elo.exp -> 'h -> 'j
method virtual build_Prod : 'c -> 'k
method virtual build_Quant : 'c -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'e -> (bool * int * 'h) -> 'g list -> 'g
method virtual build_R : 'c -> 'f
method virtual build_RBin : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'h -> 'k -> 'h -> 'j
method virtual build_RComp : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'h -> 'o -> 'h -> 'g
method virtual build_REq : 'c -> 'o
method virtual build_RIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'g -> 'h -> 'h -> 'j
method virtual build_RNEq : 'c -> 'o
method virtual build_RProj : 'c -> 'k
method virtual build_RTClos : 'c -> 'p
method virtual build_RUn : 'c -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'p -> 'h -> 'j
method virtual build_S : 'c -> 'f
method virtual build_Some_ : 'c -> 'e
method virtual build_Sub : 'c -> 'd
method virtual build_T : 'c -> 'f
method virtual build_TClos : 'c -> 'p
method virtual build_Transpose : 'c -> 'p
method virtual build_True : 'c -> 'g
method virtual build_U : 'c -> 'f
method virtual build_Union : 'c -> 'k
method virtual build_Univ : 'c -> 'j
method virtual build_Var : 'c -> int -> int -> 'j
method virtual build_X : 'c -> 'l
method virtual build_oexp : 'c -> (Libelectrod.Elo.fml, Libelectrod.Elo.exp, Libelectrod.Elo.iexp) Libelectrod.Elo.oexp -> 'j -> int -> 'h
method visit_exp : 'c -> Libelectrod.Elo.exp -> 'h
method visit_iexp : 'c -> Libelectrod.Elo.iexp -> 'i
method visit_fml : 'c -> Libelectrod.Elo.fml -> 'g
method visit_'exp : 'c -> Libelectrod.Elo.exp -> 'h
method visit_'fml : 'c -> Libelectrod.Elo.fml -> 'g
method visit_'iexp : 'c -> Libelectrod.Elo.iexp -> 'i
method visit_True : 'c -> 'g
method visit_False : 'c -> 'g
method visit_RComp : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.comp_op -> Libelectrod.Elo.exp -> 'g
method visit_LUn : 'c -> Libelectrod.Elo.lunop -> Libelectrod.Elo.fml -> 'g
method visit_LBin : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.lbinop -> Libelectrod.Elo.fml -> 'g
method visit_Quant : 'c -> Libelectrod.Elo.quant -> (bool * int * Libelectrod.Elo.exp) -> Libelectrod.Elo.fml list -> 'g
method visit_FIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> Libelectrod.Elo.fml -> 'g
method visit_Block : 'c -> Libelectrod.Elo.fml list -> 'g
method visit_All : 'c -> 'e
method visit_Some_ : 'c -> 'e
method visit_No : 'c -> 'e
method visit_quant : 'c -> Libelectrod.Elo.quant -> 'e
method visit_And : 'c -> 'f
method visit_Or : 'c -> 'f
method visit_Imp : 'c -> 'f
method visit_Iff : 'c -> 'f
method visit_U : 'c -> 'f
method visit_R : 'c -> 'f
method visit_S : 'c -> 'f
method visit_T : 'c -> 'f
method visit_lbinop : 'c -> Libelectrod.Elo.lbinop -> 'f
method visit_F : 'c -> 'l
method visit_G : 'c -> 'l
method visit_Not : 'c -> 'l
method visit_O : 'c -> 'l
method visit_X : 'c -> 'l
method visit_H : 'c -> 'l
method visit_P : 'c -> 'l
method visit_lunop : 'c -> Libelectrod.Elo.lunop -> 'l
method visit_In : 'c -> 'o
method visit_NotIn : 'c -> 'o
method visit_REq : 'c -> 'o
method visit_RNEq : 'c -> 'o
method visit_comp_op : 'c -> Libelectrod.Elo.comp_op -> 'o
method visit_IEq : 'c -> 'm
method visit_INEq : 'c -> 'm
method visit_Lt : 'c -> 'm
method visit_Lte : 'c -> 'm
method visit_Gt : 'c -> 'm
method visit_Gte : 'c -> 'm
method visit_icomp_op : 'c -> Libelectrod.Elo.icomp_op -> 'm
method visit_None_ : 'c -> 'j
method visit_Univ : 'c -> 'j
method visit_Iden : 'c -> 'j
method visit_Var : 'c -> int -> 'j
method visit_Name : 'c -> Libelectrod.Name.t -> 'j
method visit_RUn : 'c -> Libelectrod.Elo.runop -> Libelectrod.Elo.exp -> 'j
method visit_RBin : 'c -> Libelectrod.Elo.exp -> Libelectrod.Elo.rbinop -> Libelectrod.Elo.exp -> 'j
method visit_RIte : 'c -> Libelectrod.Elo.fml -> Libelectrod.Elo.exp -> Libelectrod.Elo.exp -> 'j
method visit_Compr : 'c -> (bool * int * Libelectrod.Elo.exp) list -> Libelectrod.Elo.fml list -> 'j
method visit_Prime : 'c -> Libelectrod.Elo.exp -> 'j
method visit_Transpose : 'c -> 'p
method visit_TClos : 'c -> 'p
method visit_RTClos : 'c -> 'p
method visit_runop : 'c -> Libelectrod.Elo.runop -> 'p
method visit_Union : 'c -> 'k
method visit_Inter : 'c -> 'k
method visit_Over : 'c -> 'k
method visit_LProj : 'c -> 'k
method visit_RProj : 'c -> 'k
method visit_Prod : 'c -> 'k
method visit_Diff : 'c -> 'k
method visit_Join : 'c -> 'k
method visit_rbinop : 'c -> Libelectrod.Elo.rbinop -> 'k
method visit_Num : 'c -> int -> 'i
method visit_Card : 'c -> Libelectrod.Elo.exp -> 'i
method visit_IUn : 'c -> Libelectrod.Elo.iunop -> Libelectrod.Elo.iexp -> 'i
method visit_Neg : 'c -> 'n
method visit_iunop : 'c -> Libelectrod.Elo.iunop -> 'n
method visit_Add : 'c -> 'd
method visit_Sub : 'c -> 'd
method visit_ibinop : 'c -> Libelectrod.Elo.ibinop -> 'd
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct