Module Incr.Expert

module Dependency : sig ... end with type 'a t = ('astate_witness) Incremental.Expert.Dependency.t
module Node : sig ... end with type 'a t = ('astate_witness) Incremental.Expert.Node.t