e7900b1 Major revamp of the opam input type

Authored and Committed by jjames 19 days ago
    Major revamp of the opam input type
    
    Complex boolean expressions are now supported, with synthetic AND and OR
    nodes.  Trivial synthetic nodes, with only one successor, are collapsed.
    The final pass that removes transitive edges can create more such
    trivial nodes.  We do not yet have a way to deal with that.
    
        
file modified
+12 -0
file modified
+18 -44
file modified
+387 -243
file modified
+18 -5
file modified
+7 -0