vstd::prelude

Function assert_by_compute

pub fn assert_by_compute(_: bool)