[docs]defequal(a:object)->Predicate[object]:"""Create a new predicate that succeeds when its argument is equal to ``a``."""@bind_name(equal,a)defcheck(b:object)->bool:returna==breturncheck
[docs]defidentical(a:object)->Predicate[object]:"""Create a new predicate that succeeds when its argument is identical to ``a``."""@bind_name(identical,a)defcheck(b:object)->bool:returnaisbreturncheck
[docs]defof_type(t:Union[type,tuple[type,...]])->Predicate[object]:""" Create a new predicate that succeeds when its argument is an instance of ``t``. """@bind_name(of_type,t)defcheck(a:object)->bool:returnisinstance(a,t)returncheck