helm/interface/mml.ml

   1 type expr =
   2    Null
   3  | Mi of string
   4  | Mo of string
   5  | Mn of string
   6  | Mtext of string
   7  | Mrow of expr list
   8  | Mfenced of string * string * string * expr list (* open, close, separators *)
   9 type fragment =
  10  Math of expr list
  11 ;;