1signature FORMULA  =
2sig
3  val inlineFormula:  MathTypes.mlist -> BoxTypes.hlist
4  val displayFormula: MathTypes.mlist -> BoxTypes.hlist
5end  (* signature FORMULA *)
6(*----------*)
7
8structure Formula: FORMULA  =
9struct
10  open BasicTypes
11  open MathTranslate
12
13  val displayFormula  =  MListToHList D false false
14  val inlineFormula   =  MListToHList T false true
15end  (* structure Formula *)
16