UNPKG
lean4-code-actions
Version:
latest (1.1.32)
1.1.32
Refactorings and snippets for Lean 4
lean4-code-actions
/
libs
/
utils
/
remeda
/
imply.ts
2 lines
(1 loc)
•
81 B
text/typescript
View Raw
1
2
export
const
imply = <P, C>
(
premise: P, conclusion: C
) =>
!premise || conclusion