fix: rename assert to expect
This commit is contained in:
parent
1715496d5b
commit
fe46f7ba7c
|
@ -379,7 +379,7 @@ impl Term<Name> {
|
|||
)
|
||||
}
|
||||
|
||||
pub fn assert_on_list(self) -> Self {
|
||||
pub fn expect_on_list(self) -> Self {
|
||||
self.lambda(EXPECT_ON_LIST)
|
||||
.apply(Term::var(EXPECT_ON_LIST).apply(Term::var(EXPECT_ON_LIST)))
|
||||
.lambda(EXPECT_ON_LIST)
|
||||
|
|
Loading…
Reference in New Issue