Module Earley_core.Utils

val eq_closure : a. 'a -> 'a -> bool
module EqHashtbl : sig ... end
module Fixpoint : sig ... end

This modules implements a computation of a fixpoints for valus that depends upon other values. Cycles are handled through update of references. If the fixpoint is not reached, this might loop.