summaryrefslogtreecommitdiff
path: root/math/html.mli
blob: 00b41cf4391b52e6b432e69963bdb21d6c678cac (plain)
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