Import/web/www.xiaofrog.com/wiki/math/html.mli at a045276d417f58423829d428d4ba0bc88e82c91f

Fork: 0

jryland / Import

Find file

Newer

Older

Import / web / www.xiaofrog.com / wiki / math / html.mli

John Ryland on 22 Dec 2020 187 bytes import NUC files

Raw Blame History

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