package Ġcom . ssh ust off . k ts ql ite . predicates Ċ Ċ import Ġcom . ssh ust off . k ts ql ite . predicates . core . Predicate Ċ Ċ class ĠAnd Predicate ( left : ĠPredicate , Ġright : ĠPredicate ) Ġ: ĠOperator Predicate ( left , Ġright , Ġ" AND ") Ċ Ċ infix Ġfun ĠPredicate . and ( right : ĠPredicate ) Ġ= ĠAnd Predicate ( this , Ġright )