Function BoolType

symbols/typeexprs.go:122–124

BoolType returns a type named in honor of George Boole.

()

// BoolType returns a type named in honor of George Boole.
func BoolType() ast.ApplyFn {
	return NewUnionType(NewSingletonType(ast.TrueConstant), NewSingletonType(ast.FalseConstant))
}

// IsListTypeExpression returns true if tpe is a ListType.
func IsListTypeExpression(tpe ast.BaseTerm) bool {