law Numeric.cmp_tail_eq

gralha-bendquest@0.1.0.0 · numeric.bend:359

import Base

359law Numeric.cmp_tail_eq:
360  for +a: Bool
361  for +b: Bool
362  for +tail: Cmp
363  for +equal: {Word.cmp.fin(a, b, tail) == EQ{} : Cmp}
364  {tail == EQ{} : Cmp}