TypedBuiltSchema
The schema type of build<TInput, TOutput>() and of the adapters' useJsonForm<TInput, TOutput>(): your types, so Formisch's paths and values are checked.
ts
type TypedBuiltSchema<TInput, TOutput = TInput> = GenericSchema<
TInput,
TOutput
>Generics
TInputextends objectTOutputextends object
Explanation
It is the same schema as BuiltSchema, with your types. An interface works as the type, which Formisch's own constraint wouldn't take as it is. The types are a promise you make: nothing checks them against the definition.