| 6 |
open Pxp_lexer_types |
open Pxp_lexer_types |
| 7 |
open Pxp_types |
open Pxp_types |
| 8 |
open Value |
open Value |
| 9 |
|
open Ident |
| 10 |
|
|
| 11 |
let is_ws s = |
let is_ws s = |
| 12 |
let rec check i = |
let rec check i = |
| 21 |
String (0,String.length s,s,q) |
String (0,String.length s,s,q) |
| 22 |
|
|
| 23 |
let attrib att = |
let attrib att = |
| 24 |
let att = List.map (fun (l,v) -> Types.LabelPool.mk l, string v nil) att in |
let att = List.map (fun (l,v) -> LabelPool.mk l, string v nil) att in |
| 25 |
SortedMap.from_list (fun _ _ -> assert false) att |
LabelMap.from_list (fun _ _ -> assert false) att |
| 26 |
|
|
| 27 |
let elem tag att child = |
let elem tag att child = |
| 28 |
Xml (Atom (Atoms.mk tag), Pair (Record (attrib att), child)) |
Xml (Atom (Atoms.mk tag), Pair (Record (attrib att), child)) |