Change `BiPersistentlyEmp` into `BiPersistentlyTrue`, which seems more natural.
Failed
Robbert Krebbers
created pipeline for commit
220dad25
, finished
Related merge request !843 to merge ralf/bi-persistently-emp
11 minutes 23 seconds, queued for 3 seconds