module Metanorma::Output