package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module S : S

val attach_dom : 
  _ Egraph.t ->
  ?thterm:ThTerm.t ->
  ?direct:bool ->
  Node.t ->
  'a Dom.Kind.t ->
  S.Key.t ->
  unit

val attach_any_dom : 
  _ Egraph.t ->
  ?thterm:ThTerm.t ->
  'a Dom.Kind.t ->
  S.Key.t ->
  unit

val attach_value : 
  _ Egraph.t ->
  ?thterm:ThTerm.t ->
  ?direct:bool ->
  Node.t ->
  ('a, 'b) Value.Kind.t ->
  S.Key.t ->
  unit

val attach_any_value : 
  _ Egraph.t ->
  ?thterm:ThTerm.t ->
  ?direct:bool ->
  Node.t ->
  S.Key.t ->
  unit

val attach_reg_any : _ Egraph.t -> ?thterm:ThTerm.t -> S.Key.t -> unit

val attach_reg_node : 
  _ Egraph.t ->
  ?thterm:ThTerm.t ->
  Node.t ->
  S.Key.t ->
  unit

val attach_reg_sem : 
  _ Egraph.t ->
  ?thterm:ThTerm.t ->
  ('a, 'b) ThTerm.Kind.t ->
  S.Key.t ->
  unit

val attach_reg_value : 
  _ Egraph.t ->
  ?thterm:ThTerm.t ->
  ('a, 'b) Value.Kind.t ->
  S.Key.t ->
  unit

val attach_repr : _ Egraph.t -> ?thterm:ThTerm.t -> Node.t -> S.Key.t -> unit

val attach_any_repr : _ Egraph.t -> ?thterm:ThTerm.t -> S.Key.t -> unit