law witness_nonzero_uid

bend-osdev-caps@0.1.0.0 · LAWS.bend:296

import Base

296# a nonzero user ID (the non-root laws' hypotheses on the real and effective
297# user IDs)
298law witness_nonzero_uid:
299  {U32.is_eq(1000, 0) == False{} : Bool}