| changeset 54006 | 9fe1bd54d437 |
| parent 53974 | 612505263257 |
| child 54009 | f138452e8265 |
| 54005:132640f4c453 | 54006:9fe1bd54d437 |
|---|---|
81 end; |
81 end; |
82 |
82 |
83 structure BNF_FP_Rec_Sugar_Util : BNF_FP_REC_SUGAR_UTIL = |
83 structure BNF_FP_Rec_Sugar_Util : BNF_FP_REC_SUGAR_UTIL = |
84 struct |
84 struct |
85 |
85 |
86 open Ctr_Sugar |
|
86 open BNF_Util |
87 open BNF_Util |
87 open BNF_Def |
88 open BNF_Def |
88 open BNF_Ctr_Sugar |
|
89 open BNF_FP_Util |
89 open BNF_FP_Util |
90 open BNF_FP_Def_Sugar |
90 open BNF_FP_Def_Sugar |
91 open BNF_FP_N2M_Sugar |
91 open BNF_FP_N2M_Sugar |
92 |
92 |
93 datatype rec_call = |
93 datatype rec_call = |