TODO 242 Bytes
Newer Older
1
- substitution groups
2
- don't name schema, use namespaces
3
- detect ill-formed recursion (e.g. between attribute groups)
4 5 6 7 8 9 10 11 12 13 14 15 16 17
- redefine



Compilation  Schema->CDuce.


type t ===> fun parse_t (Any -> [t])



All (A,B,C) ==>

  (A|B|C,A|B|C,A|B|C)