+ (** Construct a new index.
val add : t -> node_t -> q_t -> node_t
+ (** [add index parent q] adds to the index a node that contains the value
+ [q] and has a link to the node [parent]. The function returns the
val add_root : t -> q_t -> node_t
+ (** [add_root index q] adds a root node containing the value [q] to the
+ index and returns the resulting node.
val connect : t -> q_t -> node_t option
+ (** [connect index q] searches the index for a node suitable for connecting
+ to the configuration [q]. The function returns [Some node] if such a
+ node is found and [None] otherwise.
+ The [connect] function does not necessarily verify that the motion from
+ [node] to [q] is indeed acceptable. The function only gives its opinion
+ about what node of the index is reasonable for such a connection.
val get_mark : q_t -> PaplIndex.BruteForce.mark_t
+ module EST : sig
module type SETUP = SETUP
module type SETUP_DLT = SETUP_DLT