Interface BoolCreation<Name>

interface BoolCreation<Name extends string = "main"> {
    const(name: string): Bool<Name>;
    consts(names: string | string[]): Bool<Name>[];
    fresh(prefix?: string): Bool<Name>;
    sort(): BoolSort<Name>;
    val(value: boolean): Bool<Name>;
    vector(prefix: string, count: number): Bool<Name>[];
}