Searched defs:invariant_lbs (Results 1 – 2 of 2) sorted by relevance
439 invariant_lbs (L.Empty) = True function440 invariant_lbs (L.Chunk x xs) = not (B.null x) && invariant_lbs xs function