package earley

  1. Overview
  2. Docs
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.