Interface BitVecCreation<Name>

interface BitVecCreation<Name extends string> {
    const<Bits extends number = number>(
        name: string,
        bits: Bits | BitVecSort<Bits, Name>,
    ): BitVec<Bits, Name>;
    consts<Bits extends number = number>(
        names: string | string[],
        bits: Bits | BitVecSort<Bits, Name>,
    ): BitVec<Bits, Name>[];
    sort<Bits extends number = number>(bits: Bits): BitVecSort<Bits, Name>;
    val<Bits extends number = number>(
        value: number | bigint | boolean,
        bits: Bits | BitVecSort<Bits, Name>,
    ): BitVecNum<Bits, Name>;
}