package colibri2

  1. Overview
  2. Docs

Parameters

module S : S

Signature

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
OCaml

Innovation. Community. Security.