# RefinementConstraint

`import { RefinementConstraint } from "destack:schema";`

User-defined refinement constraint.

```ds title="RefinementConstraint"
export struct RefinementConstraint<T> {
    kind: "refinement";
    refinement: Dynamic<Refinement<T>>;
}
```

[language/library/src/schema/constraint.ds:61:67](https://github.com/destack-sh/destack/blob/main/language/library/src/schema/constraint.ds#L61-L67)

## Members

### `kind: "refinement"`

The constraint discriminator.

### `refinement: Dynamic<Refinement<T>>`

Refinement implementation.