CheckInput

type

What check needs: a name and the body that does the asserting.

type CheckInput<TName extends string> = Omit<CheckDeclaration<TName>, 'kind'>

Import

import { CheckInput } from '@modular/sdk';