Module Current_term

module S : sig ... end
module Output : sig ... end
module Make : functor (Metadata : sig ... end) -> sig ... end