Interface StringCreation<Name>

interface StringCreation<Name extends string> {
    const(name: string): Seq<Name, Sort<Name>>;
    consts(names: string | string[]): 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 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:2812

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:2817

sort

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

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

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:2822