/[svn]/types/boolean.ml
ViewVC logotype

Diff of /types/boolean.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 52 by abate, Tue Jul 10 17:01:20 2007 UTC revision 69 by abate, Tue Jul 10 17:03:11 2007 UTC
# Line 11  Line 11 
11    
12  let cup t s =  let cup t s =
13    if t == s then t    if t == s then t
14    else if (t == full) || (s == full) then full    else if t = empty then s else if s = empty then t
15      else if (t = full) || (s = full) then full
16    else    else
17      let s=      let s=
18        List.filter (fun (p,n) -> not (List.exists (may_remove (p,n)) t)) s in        List.filter (fun (p,n) -> not (List.exists (may_remove (p,n)) t)) s in
Legend:
Removed from v.52  
changed lines
  Added in v.69
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5