Module type Traversal.ARG

module type ARG = sig .. end

type t 

val equal : t -> t -> bool

val hash : t -> int

val print : t CCFormat.printer

val section : Utils.Section.t

val fail : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a