X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fattr.ml;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fattr.ml;h=0000000000000000000000000000000000000000;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=36b3d0003e375b2a257c3d935c178162dcd100ce;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git diff --git a/helm/www/lambdadelta/bin/xhtbl/attr.ml b/helm/www/lambdadelta/bin/xhtbl/attr.ml deleted file mode 100644 index 36b3d0003..000000000 --- a/helm/www/lambdadelta/bin/xhtbl/attr.ml +++ /dev/null @@ -1,20 +0,0 @@ -module L = List - -module T = Table - -(* true for a row specification *) -type 'a atom = 'a * bool * int option * int option - -type 'a atoms = 'a atom list - -let get_attr concat null a y x = - let map y x (c, b, x1, x2) = match b, x1, x2 with - | _ , None, None -> c - | false, None, Some c2 -> if x <= c2 then c else null - | false, Some c1, None -> if x >= c1 then c else null - | false, Some c1, Some c2 -> if x >= c1 && x <= c2 then c else null - | true , None, Some r2 -> if y <= r2 then c else null - | true , Some r1, None -> if y >= r1 then c else null - | true , Some r1, Some r2 -> if y >= r1 && y <= r2 then c else null - in - concat (L.map (map y x) a)