electrod 0.1.4 · OCaml Package

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

inherit GenGoal.fold

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

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

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

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

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

method build_True : 'c -> goal_color

method build_False : 'c -> goal_color

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

method build_FIte : 'c -> goal_color -> goal_color -> goal_color -> goal_color

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

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

method build_One : 'c -> goal_color -> goal_color -> goal_color

method build_Lone : 'c -> goal_color -> goal_color -> goal_color

method build_All : 'c -> goal_color -> goal_color -> goal_color

method build_No : 'c -> goal_color -> goal_color -> goal_color

method build_Some_ : 'c -> goal_color -> goal_color -> goal_color

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

method build_And : 'c -> goal_color -> goal_color -> goal_color

method build_Iff : 'c -> goal_color -> goal_color -> goal_color

method build_Imp : 'c -> goal_color -> goal_color -> goal_color

method build_U : 'c -> goal_color -> goal_color -> goal_color

method build_Or : 'c -> goal_color -> goal_color -> goal_color

method build_R : 'c -> goal_color -> goal_color -> goal_color

method build_S : 'c -> goal_color -> goal_color -> goal_color

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

method build_X : 'c -> goal_color -> goal_color

method build_F : 'c -> goal_color -> goal_color

method build_G : 'c -> goal_color -> goal_color

method build_H : 'c -> goal_color -> goal_color

method build_O : 'c -> goal_color -> goal_color

method build_P : 'c -> goal_color -> goal_color

method build_Not : 'c -> goal_color -> goal_color

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

method build_REq : 'c -> goal_color -> goal_color -> goal_color

method build_In : 'c -> goal_color -> goal_color -> goal_color

method build_NotIn : 'c -> goal_color -> goal_color -> goal_color

method build_RNEq : 'c -> goal_color -> goal_color -> goal_color

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

method build_Gt : 'c -> goal_color -> goal_color -> goal_color

method build_Gte : 'c -> goal_color -> goal_color -> goal_color

method build_IEq : 'c -> goal_color -> goal_color -> goal_color

method build_INEq : 'c -> goal_color -> goal_color -> goal_color

method build_Lt : 'c -> goal_color -> goal_color -> goal_color

method build_Lte : 'c -> goal_color -> goal_color -> goal_color

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

method build_RLone : 'c -> bool

method build_RNo : 'c -> bool

method build_ROne : 'c -> bool

method build_RSome : 'c -> bool

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

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

method build_Iden : 'c -> goal_color

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

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

method build_None_ : 'c -> goal_color

method build_Univ : 'c -> goal_color

method build_Prime : 'c -> goal_color -> goal_color

method build_RIte : 'c -> goal_color -> goal_color -> goal_color -> goal_color

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

method build_Union : 'c -> goal_color -> goal_color -> goal_color

method build_Inter : 'c -> goal_color -> goal_color -> goal_color

method build_Join : 'c -> goal_color -> goal_color -> goal_color

method build_LProj : 'c -> goal_color -> goal_color -> goal_color

method build_Prod : 'c -> goal_color -> goal_color -> goal_color

method build_RProj : 'c -> goal_color -> goal_color -> goal_color

method build_Diff : 'c -> goal_color -> goal_color -> goal_color

method build_Over : 'c -> goal_color -> goal_color -> goal_color

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

method build_RTClos : 'c -> goal_color -> goal_color

method build_Transpose : 'c -> goal_color -> goal_color

method build_TClos : 'c -> goal_color -> goal_color

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

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

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

method build_Num : 'c -> int -> goal_color

method build_Add : 'c -> goal_color -> goal_color -> goal_color

method build_Neg : 'c -> goal_color -> goal_color

method build_Sub : 'c -> goal_color -> goal_color -> goal_color

method build_Card : 'c -> goal_color -> goal_color

package electrod