Interface StringCreation<Name>

interface StringCreation<Name extends string> {
    const(name: string): Seq<Name, Sort<Name>>;
    consts(names: string | string[]): Seq<Name, Sort<Name>>[];
    fromCode(code: number | bigint | Arith<Name>): Seq<Name, Sort<Name>>;
    fromInt(n: number | bigint | Arith<Name>): Seq<Name, Sort<Name>>;
    sort(): SeqSort<Name, Sort<Name>>;
    val(value: string): Seq<Name, Sort<Name>>;
}

Type Parameters

Name extends string

Index

Methods

const consts fromCode fromInt sort val

Methods

const

const(name: string): Seq<Name, Sort<Name>>
Create a string constant
Parameters
- name: string
Returns Seq<Name, Sort<Name>>
- Defined in src/high-level/types.ts:3568

consts

consts(names: string | string[]): Seq<Name, Sort<Name>>[]
Create multiple string constants
Parameters
- names: string | string[]
Returns Seq<Name, Sort<Name>>[]
- Defined in src/high-level/types.ts:3573

fromCode

fromCode(code: number | bigint | Arith<Name>): Seq<Name, Sort<Name>>
Create a single-character string from a Unicode code point (str.from_code).
Parameters
- code: number | bigint | Arith<Name>
Returns Seq<Name, Sort<Name>>
- Defined in src/high-level/types.ts:3583

fromInt

fromInt(n: number | bigint | Arith<Name>): Seq<Name, Sort<Name>>
Convert an integer expression to its string representation (int.to.str).
Parameters
- n: number | bigint | Arith<Name>
Returns Seq<Name, Sort<Name>>
- Defined in src/high-level/types.ts:3588

sort

sort(): SeqSort<Name, Sort<Name>>
Create a string sort

Returns SeqSort<Name, Sort<Name>>
- Defined in src/high-level/types.ts:3563

val

val(value: string): Seq<Name, Sort<Name>>
Create a string value
Parameters
- value: string
Returns Seq<Name, Sort<Name>>
- Defined in src/high-level/types.ts:3578