| 36 |
chars = Chars.any; |
chars = Chars.any; |
| 37 |
} |
} |
| 38 |
|
|
| 39 |
let interval i j = { empty with ints = Intervals.atom i j } |
let interval i = { empty with ints = i } |
| 40 |
let times x y = { empty with times = Boolean.atom (x,y) } |
let times x y = { empty with times = Boolean.atom (x,y) } |
| 41 |
let arrow x y = { empty with arrow = Boolean.atom (x,y) } |
let arrow x y = { empty with arrow = Boolean.atom (x,y) } |
| 42 |
let record label opt t = { empty with record = Boolean.atom (label,opt,t) } |
let record label opt t = { empty with record = Boolean.atom (label,opt,t) } |
| 43 |
let atom a = { empty with atoms = a } |
let atom a = { empty with atoms = a } |
| 44 |
let char c = { empty with chars = c } |
let char c = { empty with chars = c } |
| 45 |
let constant = function |
let constant = function |
| 46 |
| Integer i -> interval i i |
| Integer i -> interval (Intervals.atom i) |
| 47 |
| Atom a -> atom (Atoms.atom a) |
| Atom a -> atom (Atoms.atom a) |
| 48 |
| Char c -> char (Chars.atom c) |
| Char c -> char (Chars.atom c) |
| 49 |
|
|
Parent Directory
| 
Revision Log
| 
Patch