Module Make_with_config.Expert
module Dependency : sig ... end with type 'a t = ('a, state_witness) Expert.Dependency.tmodule Node : sig ... end with type 'a t = ('a, state_witness) Expert.Node.tMake_with_config.Expertmodule Dependency : sig ... end with type 'a t = ('a, state_witness) Expert.Dependency.tmodule Node : sig ... end with type 'a t = ('a, state_witness) Expert.Node.t