package electrod

  1. Overview
  2. Docs
package electrod
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint < visit_'i : 'd -> 'g -> 'h ; visit_'v : 'd -> 'i -> 'j ; visit_Add : 'd -> ibinop ; visit_All : 'd -> quant ; visit_And : 'd -> lbinop ; visit_Block : 'd -> ('i, 'g) block -> ('j, 'h) prim_fml ; visit_BoxJoin : 'd -> ('i, 'g) exp -> ('i, 'g) exp list -> ('j, 'h) prim_exp ; visit_Card : 'd -> ('i, 'g) exp -> ('j, 'h) prim_iexp ; visit_Compr : 'd -> ('i, 'g) sim_binding list -> ('i, 'g) block -> ('j, 'h) prim_exp ; visit_Diff : 'd -> rbinop ; visit_F : 'd -> lunop ; visit_FIte : 'd -> ('i, 'g) fml -> ('i, 'g) fml -> ('i, 'g) fml -> ('j, 'h) prim_fml ; visit_False : 'd -> ('j, 'h) prim_fml ; visit_G : 'd -> lunop ; visit_Gt : 'd -> icomp_op ; visit_Gte : 'd -> icomp_op ; visit_H : 'd -> lunop ; visit_IBin : 'd -> ('i, 'g) iexp -> ibinop -> ('i, 'g) iexp -> ('j, 'h) prim_iexp ; visit_IComp : 'd -> ('i, 'g) iexp -> icomp_op -> ('i, 'g) iexp -> ('j, 'h) prim_fml ; visit_IEq : 'd -> icomp_op ; visit_INEq : 'd -> icomp_op ; visit_IUn : 'd -> iunop -> ('i, 'g) iexp -> ('j, 'h) prim_iexp ; visit_Iden : 'd -> ('j, 'h) prim_exp ; visit_Ident : 'd -> 'g -> ('j, 'h) prim_exp ; visit_Iff : 'd -> lbinop ; visit_Imp : 'd -> lbinop ; visit_In : 'd -> comp_op ; visit_Inter : 'd -> rbinop ; visit_Join : 'd -> rbinop ; visit_LBin : 'd -> ('i, 'g) fml -> lbinop -> ('i, 'g) fml -> ('j, 'h) prim_fml ; visit_LProj : 'd -> rbinop ; visit_LUn : 'd -> lunop -> ('i, 'g) fml -> ('j, 'h) prim_fml ; visit_Let : 'd -> ('i, 'g) binding list -> ('i, 'g) block -> ('j, 'h) prim_fml ; visit_Lone : 'd -> quant ; visit_Lt : 'd -> icomp_op ; visit_Lte : 'd -> icomp_op ; visit_Neg : 'd -> iunop ; visit_No : 'd -> quant ; visit_None_ : 'd -> ('j, 'h) prim_exp ; visit_Not : 'd -> lunop ; visit_NotIn : 'd -> comp_op ; visit_Num : 'd -> int -> ('j, 'h) prim_iexp ; visit_O : 'd -> lunop ; visit_One : 'd -> quant ; visit_Or : 'd -> lbinop ; visit_Over : 'd -> rbinop ; visit_P : 'd -> lunop ; visit_Prime : 'd -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_Prod : 'd -> rbinop ; visit_Qual : 'd -> rqualify -> ('i, 'g) exp -> ('j, 'h) prim_fml ; visit_Quant : 'd -> quant -> ('i, 'g) sim_binding list -> ('i, 'g) block -> ('j, 'h) prim_fml ; visit_R : 'd -> lbinop ; visit_RBin : 'd -> ('i, 'g) exp -> rbinop -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_RComp : 'd -> ('i, 'g) exp -> comp_op -> ('i, 'g) exp -> ('j, 'h) prim_fml ; visit_REq : 'd -> comp_op ; visit_RIte : 'd -> ('i, 'g) fml -> ('i, 'g) exp -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_RLone : 'd -> rqualify ; visit_RNEq : 'd -> comp_op ; visit_RNo : 'd -> rqualify ; visit_ROne : 'd -> rqualify ; visit_RProj : 'd -> rbinop ; visit_RSome : 'd -> rqualify ; visit_RTClos : 'd -> runop ; visit_RUn : 'd -> runop -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_Run : 'd -> ('i, 'g) block -> ('j, 'h) t ; visit_S : 'd -> lbinop ; visit_Some_ : 'd -> quant ; visit_Sub : 'd -> ibinop ; visit_TClos : 'd -> runop ; visit_Transpose : 'd -> runop ; visit_True : 'd -> ('j, 'h) prim_fml ; visit_U : 'd -> lbinop ; visit_Union : 'd -> rbinop ; visit_Univ : 'd -> ('j, 'h) prim_exp ; visit_X : 'd -> lunop ; visit_binding : 'd -> ('i, 'g) binding -> 'j * ('j, 'h) exp ; visit_block : 'd -> ('i, 'g) block -> ('j, 'h) block ; visit_comp_op : 'd -> comp_op -> comp_op ; visit_disj : 'd -> disj -> disj ; visit_exp : 'd -> ('i, 'g) exp -> ('j, 'h) exp ; visit_fml : 'd -> ('i, 'g) fml -> ('j, 'h) fml ; visit_ibinop : 'd -> ibinop -> ibinop ; visit_icomp_op : 'd -> icomp_op -> icomp_op ; visit_iexp : 'd -> ('i, 'g) iexp -> ('j, 'h) iexp ; visit_iunop : 'd -> iunop -> iunop ; visit_lbinop : 'd -> lbinop -> lbinop ; visit_lunop : 'd -> lunop -> lunop ; visit_prim_exp : 'd -> ('i, 'g) prim_exp -> ('j, 'h) prim_exp ; visit_prim_fml : 'd -> ('i, 'g) prim_fml -> ('j, 'h) prim_fml ; visit_prim_iexp : 'd -> ('i, 'g) prim_iexp -> ('j, 'h) prim_iexp ; visit_quant : 'd -> quant -> quant ; visit_rbinop : 'd -> rbinop -> rbinop ; visit_rqualify : 'd -> rqualify -> rqualify ; visit_runop : 'd -> runop -> runop ; visit_sim_binding : 'd -> ('i, 'g) sim_binding -> disj * 'j list * ('j, 'h) exp ; visit_t : 'd -> ('i, 'g) t -> ('j, 'h) t.. > = < visit_'i : 'd -> 'g -> 'h ; visit_'v : 'd -> 'i -> 'j ; visit_Add : 'd -> ibinop ; visit_All : 'd -> quant ; visit_And : 'd -> lbinop ; visit_Block : 'd -> ('i, 'g) block -> ('j, 'h) prim_fml ; visit_BoxJoin : 'd -> ('i, 'g) exp -> ('i, 'g) exp list -> ('j, 'h) prim_exp ; visit_Card : 'd -> ('i, 'g) exp -> ('j, 'h) prim_iexp ; visit_Compr : 'd -> ('i, 'g) sim_binding list -> ('i, 'g) block -> ('j, 'h) prim_exp ; visit_Diff : 'd -> rbinop ; visit_F : 'd -> lunop ; visit_FIte : 'd -> ('i, 'g) fml -> ('i, 'g) fml -> ('i, 'g) fml -> ('j, 'h) prim_fml ; visit_False : 'd -> ('j, 'h) prim_fml ; visit_G : 'd -> lunop ; visit_Gt : 'd -> icomp_op ; visit_Gte : 'd -> icomp_op ; visit_H : 'd -> lunop ; visit_IBin : 'd -> ('i, 'g) iexp -> ibinop -> ('i, 'g) iexp -> ('j, 'h) prim_iexp ; visit_IComp : 'd -> ('i, 'g) iexp -> icomp_op -> ('i, 'g) iexp -> ('j, 'h) prim_fml ; visit_IEq : 'd -> icomp_op ; visit_INEq : 'd -> icomp_op ; visit_IUn : 'd -> iunop -> ('i, 'g) iexp -> ('j, 'h) prim_iexp ; visit_Iden : 'd -> ('j, 'h) prim_exp ; visit_Ident : 'd -> 'g -> ('j, 'h) prim_exp ; visit_Iff : 'd -> lbinop ; visit_Imp : 'd -> lbinop ; visit_In : 'd -> comp_op ; visit_Inter : 'd -> rbinop ; visit_Join : 'd -> rbinop ; visit_LBin : 'd -> ('i, 'g) fml -> lbinop -> ('i, 'g) fml -> ('j, 'h) prim_fml ; visit_LProj : 'd -> rbinop ; visit_LUn : 'd -> lunop -> ('i, 'g) fml -> ('j, 'h) prim_fml ; visit_Let : 'd -> ('i, 'g) binding list -> ('i, 'g) block -> ('j, 'h) prim_fml ; visit_Lone : 'd -> quant ; visit_Lt : 'd -> icomp_op ; visit_Lte : 'd -> icomp_op ; visit_Neg : 'd -> iunop ; visit_No : 'd -> quant ; visit_None_ : 'd -> ('j, 'h) prim_exp ; visit_Not : 'd -> lunop ; visit_NotIn : 'd -> comp_op ; visit_Num : 'd -> int -> ('j, 'h) prim_iexp ; visit_O : 'd -> lunop ; visit_One : 'd -> quant ; visit_Or : 'd -> lbinop ; visit_Over : 'd -> rbinop ; visit_P : 'd -> lunop ; visit_Prime : 'd -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_Prod : 'd -> rbinop ; visit_Qual : 'd -> rqualify -> ('i, 'g) exp -> ('j, 'h) prim_fml ; visit_Quant : 'd -> quant -> ('i, 'g) sim_binding list -> ('i, 'g) block -> ('j, 'h) prim_fml ; visit_R : 'd -> lbinop ; visit_RBin : 'd -> ('i, 'g) exp -> rbinop -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_RComp : 'd -> ('i, 'g) exp -> comp_op -> ('i, 'g) exp -> ('j, 'h) prim_fml ; visit_REq : 'd -> comp_op ; visit_RIte : 'd -> ('i, 'g) fml -> ('i, 'g) exp -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_RLone : 'd -> rqualify ; visit_RNEq : 'd -> comp_op ; visit_RNo : 'd -> rqualify ; visit_ROne : 'd -> rqualify ; visit_RProj : 'd -> rbinop ; visit_RSome : 'd -> rqualify ; visit_RTClos : 'd -> runop ; visit_RUn : 'd -> runop -> ('i, 'g) exp -> ('j, 'h) prim_exp ; visit_Run : 'd -> ('i, 'g) block -> ('j, 'h) t ; visit_S : 'd -> lbinop ; visit_Some_ : 'd -> quant ; visit_Sub : 'd -> ibinop ; visit_TClos : 'd -> runop ; visit_Transpose : 'd -> runop ; visit_True : 'd -> ('j, 'h) prim_fml ; visit_U : 'd -> lbinop ; visit_Union : 'd -> rbinop ; visit_Univ : 'd -> ('j, 'h) prim_exp ; visit_X : 'd -> lunop ; visit_binding : 'd -> ('i, 'g) binding -> 'j * ('j, 'h) exp ; visit_block : 'd -> ('i, 'g) block -> ('j, 'h) block ; visit_comp_op : 'd -> comp_op -> comp_op ; visit_disj : 'd -> disj -> disj ; visit_exp : 'd -> ('i, 'g) exp -> ('j, 'h) exp ; visit_fml : 'd -> ('i, 'g) fml -> ('j, 'h) fml ; visit_ibinop : 'd -> ibinop -> ibinop ; visit_icomp_op : 'd -> icomp_op -> icomp_op ; visit_iexp : 'd -> ('i, 'g) iexp -> ('j, 'h) iexp ; visit_iunop : 'd -> iunop -> iunop ; visit_lbinop : 'd -> lbinop -> lbinop ; visit_lunop : 'd -> lunop -> lunop ; visit_prim_exp : 'd -> ('i, 'g) prim_exp -> ('j, 'h) prim_exp ; visit_prim_fml : 'd -> ('i, 'g) prim_fml -> ('j, 'h) prim_fml ; visit_prim_iexp : 'd -> ('i, 'g) prim_iexp -> ('j, 'h) prim_iexp ; visit_quant : 'd -> quant -> quant ; visit_rbinop : 'd -> rbinop -> rbinop ; visit_rqualify : 'd -> rqualify -> rqualify ; visit_runop : 'd -> runop -> runop ; visit_sim_binding : 'd -> ('i, 'g) sim_binding -> disj * 'j list * ('j, 'h) exp ; visit_t : 'd -> ('i, 'g) t -> ('j, 'h) t.. >
inherit VisitorsRuntime.map
method virtual visit_'i : 'd -> 'g -> 'h
method virtual visit_'v : 'd -> 'i -> 'j
method visit_Run : 'd -> ('i, 'g) block -> ('j, 'h) t
method visit_t : 'd -> ('i, 'g) t -> ('j, 'h) t
method visit_fml : 'd -> ('i, 'g) fml -> ('j, 'h) fml
method visit_True : 'd -> ('j, 'h) prim_fml
method visit_False : 'd -> ('j, 'h) prim_fml
method visit_Qual : 'd -> rqualify -> ('i, 'g) exp -> ('j, 'h) prim_fml
method visit_RComp : 'd -> ('i, 'g) exp -> comp_op -> ('i, 'g) exp -> ('j, 'h) prim_fml
method visit_IComp : 'd -> ('i, 'g) iexp -> icomp_op -> ('i, 'g) iexp -> ('j, 'h) prim_fml
method visit_LUn : 'd -> lunop -> ('i, 'g) fml -> ('j, 'h) prim_fml
method visit_LBin : 'd -> ('i, 'g) fml -> lbinop -> ('i, 'g) fml -> ('j, 'h) prim_fml
method visit_Quant : 'd -> quant -> ('i, 'g) sim_binding list -> ('i, 'g) block -> ('j, 'h) prim_fml
method visit_Let : 'd -> ('i, 'g) binding list -> ('i, 'g) block -> ('j, 'h) prim_fml
method visit_FIte : 'd -> ('i, 'g) fml -> ('i, 'g) fml -> ('i, 'g) fml -> ('j, 'h) prim_fml
method visit_Block : 'd -> ('i, 'g) block -> ('j, 'h) prim_fml
method visit_prim_fml : 'd -> ('i, 'g) prim_fml -> ('j, 'h) prim_fml
method visit_binding : 'd -> ('i, 'g) binding -> 'j * ('j, 'h) exp
method visit_sim_binding : 'd -> ('i, 'g) sim_binding -> disj * 'j list * ('j, 'h) exp
method visit_disj : 'd -> disj -> disj
method visit_block : 'd -> ('i, 'g) block -> ('j, 'h) block
method visit_All : 'd -> quant
method visit_Some_ : 'd -> quant
method visit_No : 'd -> quant
method visit_One : 'd -> quant
method visit_Lone : 'd -> quant
method visit_quant : 'd -> quant -> quant
method visit_And : 'd -> lbinop
method visit_Or : 'd -> lbinop
method visit_Imp : 'd -> lbinop
method visit_Iff : 'd -> lbinop
method visit_U : 'd -> lbinop
method visit_R : 'd -> lbinop
method visit_S : 'd -> lbinop
method visit_lbinop : 'd -> lbinop -> lbinop
method visit_F : 'd -> lunop
method visit_G : 'd -> lunop
method visit_Not : 'd -> lunop
method visit_O : 'd -> lunop
method visit_X : 'd -> lunop
method visit_H : 'd -> lunop
method visit_P : 'd -> lunop
method visit_lunop : 'd -> lunop -> lunop
method visit_In : 'd -> comp_op
method visit_NotIn : 'd -> comp_op
method visit_REq : 'd -> comp_op
method visit_RNEq : 'd -> comp_op
method visit_comp_op : 'd -> comp_op -> comp_op
method visit_IEq : 'd -> icomp_op
method visit_INEq : 'd -> icomp_op
method visit_Lt : 'd -> icomp_op
method visit_Lte : 'd -> icomp_op
method visit_Gt : 'd -> icomp_op
method visit_Gte : 'd -> icomp_op
method visit_icomp_op : 'd -> icomp_op -> icomp_op
method visit_exp : 'd -> ('i, 'g) exp -> ('j, 'h) exp
method visit_None_ : 'd -> ('j, 'h) prim_exp
method visit_Univ : 'd -> ('j, 'h) prim_exp
method visit_Iden : 'd -> ('j, 'h) prim_exp
method visit_Ident : 'd -> 'g -> ('j, 'h) prim_exp
method visit_RUn : 'd -> runop -> ('i, 'g) exp -> ('j, 'h) prim_exp
method visit_RBin : 'd -> ('i, 'g) exp -> rbinop -> ('i, 'g) exp -> ('j, 'h) prim_exp
method visit_RIte : 'd -> ('i, 'g) fml -> ('i, 'g) exp -> ('i, 'g) exp -> ('j, 'h) prim_exp
method visit_BoxJoin : 'd -> ('i, 'g) exp -> ('i, 'g) exp list -> ('j, 'h) prim_exp
method visit_Compr : 'd -> ('i, 'g) sim_binding list -> ('i, 'g) block -> ('j, 'h) prim_exp
method visit_Prime : 'd -> ('i, 'g) exp -> ('j, 'h) prim_exp
method visit_prim_exp : 'd -> ('i, 'g) prim_exp -> ('j, 'h) prim_exp
method visit_ROne : 'd -> rqualify
method visit_RLone : 'd -> rqualify
method visit_RSome : 'd -> rqualify
method visit_RNo : 'd -> rqualify
method visit_rqualify : 'd -> rqualify -> rqualify
method visit_Transpose : 'd -> runop
method visit_TClos : 'd -> runop
method visit_RTClos : 'd -> runop
method visit_runop : 'd -> runop -> runop
method visit_Union : 'd -> rbinop
method visit_Inter : 'd -> rbinop
method visit_Over : 'd -> rbinop
method visit_LProj : 'd -> rbinop
method visit_RProj : 'd -> rbinop
method visit_Prod : 'd -> rbinop
method visit_Diff : 'd -> rbinop
method visit_Join : 'd -> rbinop
method visit_rbinop : 'd -> rbinop -> rbinop
method visit_iexp : 'd -> ('i, 'g) iexp -> ('j, 'h) iexp
method visit_Num : 'd -> int -> ('j, 'h) prim_iexp
method visit_Card : 'd -> ('i, 'g) exp -> ('j, 'h) prim_iexp
method visit_IUn : 'd -> iunop -> ('i, 'g) iexp -> ('j, 'h) prim_iexp
method visit_IBin : 'd -> ('i, 'g) iexp -> ibinop -> ('i, 'g) iexp -> ('j, 'h) prim_iexp
method visit_prim_iexp : 'd -> ('i, 'g) prim_iexp -> ('j, 'h) prim_iexp
method visit_Neg : 'd -> iunop
method visit_iunop : 'd -> iunop -> iunop
method visit_Add : 'd -> ibinop
method visit_Sub : 'd -> ibinop
method visit_ibinop : 'd -> ibinop -> ibinop
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