Struct PredicateFn 

pub struct PredicateFn(pub extern "C" fn(SimHandle) -> bool);

The settled CondThunk shape for a SignalEventControl’s iff re-check AND wait(expr)’s own re-check (PR-106, A2-part2 Task 3): a plain extern "C" function pointer over the shared SimHandle, produced by exactly one compiler entry point, vj-codegen::process_lower:: compile_iff_guard – see that function’s own doc comment. Through Task 1 this shape was left an open question (process.md: “needs to be settled jointly with codegen’s dispatcher shape… not decided unilaterally here”); Task 3 settles it: a raw function pointer into a standalone, independently-compiled guard function, never a re-entry into a dedicated micro-segment.

Tuple Fields

0: extern "C" fn(SimHandle) -> bool

Trait Implementations

impl Clone for PredicateFn

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for PredicateFn

impl Debug for PredicateFn

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.