Current_term
module S : sig ... end
module Output : sig ... end
module Make (Metadata : sig ... end) : sig ... end