Struct LocalExecutablePolicy 

pub struct LocalExecutablePolicy { /* private fields */ }

One side’s lowered local executable.

The local operand keeps ordinary 020 record fact predicates, while the peer operand reads generated scoped wrappers constrained by the local operand’s ExposeRecord/1 facet. The generated send and request outputs keep exposure policy above the store boundary.

Trait Implementations

impl Clone for LocalExecutablePolicy

fn clone(&self) -> LocalExecutablePolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocalExecutablePolicy

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

Formats the value using the given formatter.