package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = {

parents : Colibri2_core.Ground.S.t F_Pos.M.t;
(*
parents
*)
apps : Colibri2_core.Ground.S.t Colibri2_theories_quantifiers.F.M.t;
(*
parent parent
*)
ty : Colibri2_core.Ground.Ty.S.t;
(*
same as in ground but simplify incrementalism
*)

}

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val merge : 
  Colibri2_core.Egraph.wt ->
  other:Colibri2_core.Node.t ->
  repr:Colibri2_core.Node.t ->
  t ->
  t ->
  t

merge the information and apply congruence closure on the parents

val empty : t

val dom : t Colibri2_core.Dom.Kind.t

val tys : 
  _ Colibri2_core.Egraph.t ->
  Colibri2_core.Node.t ->
  Colibri2_core.Ground.Ty.S.t

Same as Ground.Tys but from Info.t

module Builtin_skipped_for_trigger : sig ... end