Struct modelator::artifact::TlaConfigFile [−][src]
pub struct TlaConfigFile { /* fields omitted */ }
Expand description
modelator
’s artifact representing a TLA+ config file containing the TLA+
model CONSTANT
s and INIT
and NEXT
predicates.
Implementations
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl RefUnwindSafe for TlaConfigFile
impl Send for TlaConfigFile
impl Sync for TlaConfigFile
impl Unpin for TlaConfigFile
impl UnwindSafe for TlaConfigFile
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.
pub fn vzip(self) -> V
Attaches the provided Subscriber
to this type, returning a
WithDispatch
wrapper. Read more
Attaches the current default Subscriber
to this type, returning a
WithDispatch
wrapper. Read more