| 49 |
and run_disp_kind actions v = |
and run_disp_kind actions v = |
| 50 |
match v with |
match v with |
| 51 |
| Pair (v1,v2) -> run_disp_prod v v1 v2 actions.Patterns.Compile.prod |
| Pair (v1,v2) -> run_disp_prod v v1 v2 actions.Patterns.Compile.prod |
| 52 |
|
| Xml (v1,v2) -> run_disp_prod v v1 v2 actions.Patterns.Compile.xml |
| 53 |
| Record r -> run_disp_record r v [] r actions.Patterns.Compile.record |
| Record r -> run_disp_record r v [] r actions.Patterns.Compile.record |
| 54 |
| Atom a -> |
| Atom a -> |
| 55 |
run_disp_basic v (fun t -> Types.Atom.has_atom t a) |
run_disp_basic v (fun t -> Types.Atom.has_atom t a) |