| 159 |
let constr chunk i vs = |
let constr chunk i vs = |
| 160 |
Value.ocaml2cduce_constr (constr_const chunk i) vs |
Value.ocaml2cduce_constr (constr_const chunk i) vs |
| 161 |
|
|
| 162 |
let dconstr chunk i v = |
let taga chunk i = |
| 163 |
Value.cduce2ocaml_constr (TAGA.get |
TAGA.get |
| 164 |
(fun x -> |
(fun x -> |
| 165 |
let x = Array.map (fun (t,i) -> |
let x = Array.map (fun (t,i) -> |
| 166 |
Atoms.atom t, i) x in |
Atoms.atom t, i) x in |
| 167 |
Atoms.mk_map (Array.to_list x)) |
Atoms.mk_map (Array.to_list x)) |
| 168 |
chunk.taga i) v |
chunk.taga i |
| 169 |
|
|
| 170 |
|
let dconstr chunk i v = |
| 171 |
|
Value.cduce2ocaml_constr (taga chunk i) v |
| 172 |
|
let dvariant chunk i v = |
| 173 |
|
Value.cduce2ocaml_variant (taga chunk i) v |
| 174 |
end |
end |
| 175 |
|
|
Parent Directory
| 
Revision Log
| 
Patch