Beluga_html.Synext_html_ppStateful pretty-printing of concrete Beluga signatures to HTML.
module type HTML_PRINTER = sig ... endAbstract definition for HTML pretty-printing concrete Beluga signatures.
module Make_html_printer
(Html_printing_state : Synext_html_pp_state.HTML_PRINTING_STATE) :
HTML_PRINTER with type state = Html_printing_state.statemodule Html_printer : sig ... endConcrete implementation of HTML pretty-printing for Beluga signatures.