Skip to main content
precondition
planarian_
schema
0.0.0
In planarian_
schema::
spec
planarian_schema
::
spec
Function
precondition
Copy item path
Source
pub fn precondition(t: &
Transition
, s: &
SystemState
, defs: &
UnitDefs
) ->
bool