Interface ConstraintDefinition<C, Ext>

interface ConstraintDefinition<C, Ext> {
    _tag: "ConstraintDefinition";
    checkTime: null | ast.ConstraintCheckTime<Ext>;
    constraint: C;
    extensions: null | Ext["ConstraintDefinition"];
    name: null | ast.Ident;
}

Type Parameters

Hierarchy

  • Tagged<"ConstraintDefinition", {}>
    • ConstraintDefinition

Properties

_tag checkTime constraint extensions name

Properties

Readonly _tag

_tag: "ConstraintDefinition"

Readonly checkTime

checkTime: null | ast.ConstraintCheckTime<Ext>

Readonly constraint

constraint: C

Readonly extensions

extensions: null | Ext["ConstraintDefinition"]

Readonly name

name: null | ast.Ident

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc