Remote / foldkit-remote/why

WhyTerm

const · packages/remote/src/whyTerms.ts:36

const WhyTerm: Schema.Struct<{
  readonly term: Schema.String
  readonly truth: Schema.Literals<readonly ['True', 'False', 'Null', 'Unknown']>
  readonly reason: Schema.OptionFromNullOr<Schema.String>
}>

Its type

type WhyTerm = typeof WhyTerm.Type

One where predicate of a list's body, judged over the row as the client placed it. Null is SQL's unknown, which keeps a row out; Unknown rests on what the store lacks, and reason says what.