Module is_default

Traits

IsDefault

This trait checks whether a variable equals to initialization value. For a variable equals to the initialization value, the world-state should treat is as None value.