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
/
transform
/
toString.d.ts
3 lines
(2 loc)
•
126 B
TypeScript
View Raw
1
2
3
import
*
as
AST
from
'../syntax/ast'
;
export
declare
function
toString
(
expression
: AST.
Expression
,
pretty
?:
boolean
):
string
;