Gilles Peskine 128895775d Document invariants of MPI objects
Note that s must be +1 for zero.

Note that p may be NULL for zero, when n is 0.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2022-11-15 20:33:21 +01:00
..
2022-10-05 12:55:50 +02:00
2015-03-10 11:23:56 +00:00