oP

LagMatrix

one

LagSemiring

op

LagSemigroup

or_and

LagSemiring