Module Fixpoint.FixpointTrieNaive (.ml)

module FixpointTrieNaive: sig .. end

Warning: Only for benchmarking purposes

val check : Node.t -> Node.t Cubetrie.t -> int list option