File: html.mli

package info (click to toggle)
mediawiki-math 2%3A1.0%2Bgit20120528-6
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 528 kB
  • sloc: php: 3,925; ml: 1,344; xml: 136; makefile: 86; sql: 41; sh: 30
file content (5 lines) | stat: -rw-r--r-- 187 bytes parent folder | download | duplicates (11) 
1
2
3
4
5
 
val render : Tex.t list -> string option
val html_render : Tex.t list -> string

type conservativeness_t = CONSERVATIVE | MODERATE | LIBERAL
val conservativeness : conservativeness_t ref