tree ea4afb046619a0a46cb6840d5cc342539b1d17b2
parent b11ce0ec2d6af6d01805567353dc336a5734ad7c
author Janos Follath <janos.follath@arm.com> 1571040572 +0100
committer Janos Follath <janos.follath@arm.com> 1573475532 +0000

Document ct_lt_mpi_uint