summaryrefslogtreecommitdiff
path: root/support/syngen/src/boxes.mli
blob: 11a99dd83b025a37fb7516ded79a2dc8c581c84a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
type box = TermBox    of dim * char list
         | NonTermBox of dim * char list
         | ParamBox   of dim * char list
         | OptBox     of dim * box
         | RepBox     of dim * box
         | TermRepBox of dim * box * box
         | OptRepBox  of dim * box
         | OrBoxList  of dim * box list
         | ConBox     of dim * box * box

and dim = {l : float; h : float; lc : float; rc : float}

val dim_l  : box -> float
val dim_h  : box -> float
val dim_lc : box -> float
val dim_rc : box -> float

val of_syntree : float -> float -> float -> float -> float -> Parser.syntree -> box