Abstractor_graph.Node
type t
=
{
lits : Lit.t list;
is_init : bool;
is_goal : bool;
model : Term.Model.t option;
}
val compare : t -> t -> int
val hash : t -> CCHash.hash
val equal : t -> t -> bool