Module Traversal

module Traversal: sig .. end

Recursive Traversal of AST

module type ARG = sig .. end

module Make (T : TermInner.S)  (Arg : ARG)  (State : sig
type t 

end) : sig .. end