UNPKG
propositional
Version:
latest (1.0.2)
1.0.2
1.0.1
1.0.0
Propositional logic symbolic computation library
github.com/p2js/propositional
p2js/propositional
propositional
/
lib
/
syntax
/
equivalence.d.ts
3 lines
(2 loc)
•
128 B
TypeScript
View Raw
1
2
3
import
*
as
AST
from
'./ast'
;
export
declare
function
syntacticallyEquivalent
(
e1
: AST.
Expression
,
e2
: AST.
Expression
):
boolean
;