sig
  val predefined : (string list * string) list
  val to_html : string -> string
end