aviallon/compiler
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

utils: init with implies implementation

Browse source
This commit is contained in:
Antoine Viallon 2023-05-23 00:50:11 +02:00
parent 45ce13ae99
commit 109a8aad13
Signed by: aviallon
GPG key ID: D126B13AB555E16F
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/utils.py Normal file
View file

@ -0,0 +1,2 @@
def implies(a: bool, b: bool) -> bool:
return (not b and not a) or b