Type alias inferValidator<$Validator>

inferValidator<$Validator>: $Validator extends ValidatorWithInputOutput<infer $TIn, infer $TOut>
    ? {
        in: $TIn;
        out: $TOut;
    }
    : $Validator extends ValidatorWithoutInput<infer $InOut>
        ? {
            in: $InOut;
            out: $InOut;
        }
        : never

Type utility to infer input and output types from a Validator type.