package electrod

  1. Overview
  2. Docs
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.. >
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.