[m-rev.] for tryout: type_spec_constrained_preds

[Julien Fischer]

On Fri, 2 Feb 2024, Zoltan Somogyi wrote:

> On 2024-02-02 15:01 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote:
>
>> (Note that I have updated the json library so that the fourth
>> specialisation I mentioned is actually relevant.)
>
> May I presume that "both libraries compile successfully" applies
> to a version of the library with a type_spec_constrained_preds pragma
> for this fourth specialization as well?

Yes, the json library compiles sucessfully with all four
type_spec_constrained_preds pragmas present.

> While I clean up and document the diff, can you please have a look
> at the diff to options.m, and see which wording there you prefer?

Sure, I'll take a look a bit later.

Julien.