colibri2 0.4 (latest) · OCaml Package

val check_gty_num_size : 
  Colibri2_core.Egraph.rw Colibri2_core.Egraph.t ->
  Colibri2_core.Ground.Ty.t ->
  bool

val adown_pattern : Colibri2_theories_quantifiers.Pattern.t

val adown_run : Colibri2_core.Egraph.wt -> Colibri2_core.Ground.Subst.t -> unit

val aup_pattern : Colibri2_theories_quantifiers.Pattern.t

val aup_run : Colibri2_core.Egraph.wt -> Colibri2_core.Ground.Subst.t -> unit

val raup_pattern : Colibri2_theories_quantifiers.Pattern.t

val raup_run : Colibri2_core.Egraph.wt -> Colibri2_core.Ground.Subst.t -> unit

val const_read_pattern : Colibri2_theories_quantifiers.Pattern.t

val const_read_run : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Ground.Subst.t ->
  unit

val apply_res_ext_1_1 : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.S.t ->
  unit

val apply_res_ext_1_2 : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.S.t ->
  unit

val apply_res_ext_2_1 : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Ground.Ty.t ->
  Colibri2_core.Node.t ->
  unit

val apply_res_ext_2_2 : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Ground.Ty.t ->
  Colibri2_core.Node.t ->
  unit

val new_array : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Ground.Ty.t ->
  Colibri2_core.Ground.Ty.t ->
  Colibri2_core.Ground.t ->
  unit

val map_adowm : 
  Colibri2_core.Expr.term ->
  Colibri2_core.Expr.term ->
  Colibri2_core.Expr.term list ->
  Colibri2_theories_quantifiers.Pattern.t
  * (Colibri2_core.Egraph.wt ->
  Colibri2_core.Ground.Subst.t ->
  unit)

val add_array_read_hook : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Array_dom.map_info Colibri2_core.Ground.M.t ->
  unit

val add_array_map_hook : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Ground.t ->
  Colibri2_core.Node.S.t ->
  Array_dom.map_info ->
  unit

val new_map : 
  Colibri2_core.Egraph.rw Colibri2_core.Egraph.t ->
  Colibri2_core.Ground.t ->
  unit

val apply_blast_rule : 
  Colibri2_core.Egraph.wt ->
  Colibri2_core.Node.t ->
  Colibri2_core.Ground.Ty.t ->
  Colibri2_core.Ground.Ty.t ->
  unit

package colibri2