func (ctx *Context) BoolConst(name string) Bool {
	return ctx.Const(name, ctx.BoolSort()).(Bool)
}
BoolConst returns a boolean constant named "name".
package z3
import "C"
import "runtime"
type Bool value
func init() {
	kindWrappers[KindBool] = func(x value) Value {
		return Bool(x)
	}
}
func (ctx *Context) BoolSort() Sort {
	var sort Sort
	ctx.do(func() {
		sort = wrapSort(ctx, C.Z3_mk_bool_sort(ctx.c), KindBool)
	})
	return sort
}
func (ctx *Context) FromBool(val bool) Bool {
	return Bool(wrapValue(ctx, func() C.Z3_ast {
		if val {
			return C.Z3_mk_true(ctx.c)
		} else {
			return C.Z3_mk_false(ctx.c)
		}
	}))
}