electrod 0.1.4 · OCaml Package

constraint 'd = < is_const : Name.t -> bool.. >

inherit GenGoal.fold

method visit_'v : 'd -> Elo.var -> Elo.var

method visit_'i : 'd -> Elo.ident -> Elo.ident

method build_fml : 'd -> goal_color -> Location.t -> goal_color

method build_Run : 'd -> goal_color list -> goal_color

method build_Check : 'd -> goal_color list -> goal_color

method build_True : 'd -> goal_color

method build_False : 'd -> goal_color

method build_Block : 'd -> goal_color list -> goal_color

method build_FIte : 'd -> goal_color -> goal_color -> goal_color -> goal_color

method build_Let : 'd ->
  (Elo.var * goal_color) list ->
  goal_color list ->
  goal_color

method build_Quant : 'd ->
  (goal_color -> goal_color -> goal_color) ->
  (GenGoal.disj * Elo.var list * goal_color) list ->
  goal_color list ->
  goal_color

method build_One : 'd -> goal_color -> goal_color -> goal_color

method build_Lone : 'd -> goal_color -> goal_color -> goal_color

method build_All : 'd -> goal_color -> goal_color -> goal_color

method build_No : 'd -> goal_color -> goal_color -> goal_color

method build_Some_ : 'd -> goal_color -> goal_color -> goal_color

method build_LBin : 'd ->
  goal_color ->
  (goal_color -> goal_color -> goal_color) ->
  goal_color ->
  goal_color

method build_And : 'd -> goal_color -> goal_color -> goal_color

method build_Iff : 'd -> goal_color -> goal_color -> goal_color

method build_Imp : 'd -> goal_color -> goal_color -> goal_color

method build_U : 'd -> goal_color -> goal_color -> goal_color

method build_Or : 'd -> goal_color -> goal_color -> goal_color

method build_R : 'd -> goal_color -> goal_color -> goal_color

method build_S : 'd -> goal_color -> goal_color -> goal_color

method build_LUn : 'd -> (goal_color -> goal_color) -> goal_color -> goal_color

method build_X : 'd -> goal_color -> goal_color

method build_F : 'd -> goal_color -> goal_color

method build_G : 'd -> goal_color -> goal_color

method build_H : 'd -> goal_color -> goal_color

method build_O : 'd -> goal_color -> goal_color

method build_P : 'd -> goal_color -> goal_color

method build_Not : 'd -> goal_color -> goal_color

method build_RComp : 'd ->
  goal_color ->
  (goal_color -> goal_color -> goal_color) ->
  goal_color ->
  goal_color

method build_REq : 'd -> goal_color -> goal_color -> goal_color

method build_In : 'd -> goal_color -> goal_color -> goal_color

method build_NotIn : 'd -> goal_color -> goal_color -> goal_color

method build_RNEq : 'd -> goal_color -> goal_color -> goal_color

method build_IComp : 'd ->
  goal_color ->
  (goal_color -> goal_color -> goal_color) ->
  goal_color ->
  goal_color

method build_Gt : 'd -> goal_color -> goal_color -> goal_color

method build_Gte : 'd -> goal_color -> goal_color -> goal_color

method build_IEq : 'd -> goal_color -> goal_color -> goal_color

method build_INEq : 'd -> goal_color -> goal_color -> goal_color

method build_Lt : 'd -> goal_color -> goal_color -> goal_color

method build_Lte : 'd -> goal_color -> goal_color -> goal_color

method build_Qual : 'd -> bool -> goal_color -> goal_color

method build_RLone : 'd -> bool

method build_RNo : 'd -> bool

method build_ROne : 'd -> bool

method build_RSome : 'd -> bool

method build_exp : 'd -> goal_color -> Location.t -> int option -> goal_color

method build_Compr : 'd ->
  (GenGoal.disj * Elo.var list * goal_color) list ->
  goal_color list ->
  goal_color

method build_Iden : 'd -> goal_color

method build_BoxJoin : 'd -> goal_color -> goal_color list -> goal_color

method build_Ident : 'd -> Elo.ident -> goal_color

method build_None_ : 'd -> goal_color

method build_Univ : 'd -> goal_color

method build_Prime : 'd -> goal_color -> goal_color

method build_RIte : 'd -> goal_color -> goal_color -> goal_color -> goal_color

method build_RBin : 'd ->
  goal_color ->
  (goal_color -> goal_color -> goal_color) ->
  goal_color ->
  goal_color

method build_Union : 'd -> goal_color -> goal_color -> goal_color

method build_Inter : 'd -> goal_color -> goal_color -> goal_color

method build_Join : 'd -> goal_color -> goal_color -> goal_color

method build_LProj : 'd -> goal_color -> goal_color -> goal_color

method build_Prod : 'd -> goal_color -> goal_color -> goal_color

method build_RProj : 'd -> goal_color -> goal_color -> goal_color

method build_Diff : 'd -> goal_color -> goal_color -> goal_color

method build_Over : 'd -> goal_color -> goal_color -> goal_color

method build_RUn : 'd -> (goal_color -> goal_color) -> goal_color -> goal_color

method build_RTClos : 'd -> goal_color -> goal_color

method build_Transpose : 'd -> goal_color -> goal_color

method build_TClos : 'd -> goal_color -> goal_color

method build_iexp : 'd -> goal_color -> Location.t -> goal_color

method build_IBin : 'd ->
  goal_color ->
  (goal_color -> goal_color -> goal_color) ->
  goal_color ->
  goal_color

method build_IUn : 'd -> (goal_color -> goal_color) -> goal_color -> goal_color

method build_Num : 'd -> int -> goal_color

method build_Add : 'd -> goal_color -> goal_color -> goal_color

method build_Neg : 'd -> goal_color -> goal_color

method build_Sub : 'd -> goal_color -> goal_color -> goal_color

method build_Card : 'd -> goal_color -> goal_color

package electrod