BigDocument

cursor

Bool

TypeCheckerWithExplicitTypesAST

b

Bool

bindings

Let

body

Fun

boolConjunctions

NewTypeUsage

boolDisjunctions

NewTypeUsage

boolT

TypeCheckerWithExplicitTypesAST

bools

NewTypeUsage