RefinementConstraint

import { RefinementConstraint } from "destack:schema";

User-defined refinement constraint.

export struct RefinementConstraint<T> {
    kind: "refinement";
    refinement: Dynamic<Refinement<T>>;
}
language/library/src/schema/constraint.ds:61:67

Members

kind: "refinement"

The constraint discriminator.

refinement: Dynamic<Refinement<T>>

Refinement implementation.