Module Frontier_base.Frontier_intf

module type S = sig ... end

This is the base signature for a full frontier, shared by any implementation * of a full frontier. Currently, this includes the internal Full_frontier * and external Transition_frontier modules.