module Metanorma::Input