sig
  val emit : ?file:string -> Latex.t -> unit
  module Verbatim :
    sig
      type melt_verbatim_string =
          [ `C of Latex.t | `M of Latex.t | `T of Latex.t | `V of string ]
          list
      type latex_verbatim_function = string -> Latex.t
      type melt_verbatim_function =
          Melt.Verbatim.melt_verbatim_string -> Latex.t
      val convert :
        Melt.Verbatim.latex_verbatim_function ->
        Melt.Verbatim.melt_verbatim_function
      val trim :
        char list ->
        Melt.Verbatim.melt_verbatim_string ->
        Melt.Verbatim.melt_verbatim_string
      val split_lines :
        Melt.Verbatim.melt_verbatim_string ->
        Melt.Verbatim.melt_verbatim_string list
      val verbatim : Melt.Verbatim.melt_verbatim_function
      val regexps :
        (Str.regexp * (string -> Latex.t)) list ->
        (string -> Latex.t) -> Melt.Verbatim.melt_verbatim_function
      val keywords :
        ?apply:(Latex.t -> Latex.t) ->
        string list -> Melt.Verbatim.melt_verbatim_function
      val pseudocode :
        ?trim:(Melt.Verbatim.melt_verbatim_string ->
               Melt.Verbatim.melt_verbatim_string) ->
        ?id_regexp:Str.regexp ->
        ?kw_apply:(Latex.t -> Latex.t) ->
        ?id_apply:(Latex.t -> Latex.t) ->
        ?rem_apply:(string -> Latex.t) ->
        ?keywords:string list ->
        ?symbols:(string * Latex.t) list ->
        ?keyword_symbols:(string * Latex.t) list ->
        ?underscore:Str.regexp -> Melt.Verbatim.melt_verbatim_function
    end
  val compiled_with_mlpost : bool
  val picture_of_latex : Latex.t -> Mlpost.Picture.t
  val mlpost :
    ?mode:Melt_common.mode -> ?file:string -> Mlpost.Command.t -> Latex.t
  module Beamer :
    sig
      type beamertemplate = [ `Footline | `NavigationSymbols ]
      type tocoptions =
          [ `CurrentSection
          | `CurrentSubsection
          | `HideAllSubsections
          | `HideOtherSubsections
          | `PauseSections
          | `PauseSubsections ]
      val frame : ?title:Latex.t -> ?subtitle:Latex.t -> Latex.t -> Latex.t
      val setbeamertemplate : beamertemplate -> Latex.t -> Latex.t
      val insertpagenumber : Latex.t
      val insertdocumentendpage : Latex.t
      val inserttitle : Latex.t
      val insertsection : Latex.t
      val insertsubsection : Latex.t
      val insertshorttitle : Latex.t
      val insertshortsection : Latex.t
      val insertshortsubsection : Latex.t
      val tableofcontents : tocoptions list -> Latex.t
      val at_begin_section : Latex.t -> Latex.t
      val at_begin_subsection : Latex.t -> Latex.t
      val at_begin_subsubsection : Latex.t -> Latex.t
      val block : Latex.t -> Latex.t -> Latex.t
      type color =
          [ `Blue
          | `Gray
          | `Green
          | `RGB of float * float * float
          | `Red
          | `Yellow ]
      val color : color -> Latex.t -> Latex.t
      type overlays_spec = [ `I of int ]
      val only : overlays_spec list -> Latex.t -> Latex.t
      val includegraphics : ?only:overlays_spec list -> Latex.t -> Latex.t
      type column_alignment = [ `B | `C | `T ]
      val columns : ?align:column_alignment -> Latex.t -> Latex.t
      val column :
        ?align:column_alignment -> Latex.size -> Latex.t -> Latex.t
      val equi_columns : ?align:column_alignment -> Latex.t list -> Latex.t
      val mlpost :
        ?only:Latex.Beamer.overlays_spec list ->
        ?mode:Melt_common.mode -> ?file:string -> Mlpost.Command.t -> Latex.t
    end
  module Arg :
    sig
      val bool : Latex.t -> bool
      val int : ?default:int -> Latex.t -> int
      val float : ?default:float -> Latex.t -> float
      val text : ?default:Latex.t -> Latex.t -> Latex.t
    end
end