+
Point of view
TYPED_INTERNALS
deferred class EDC_STORABLE_DRIVER [R_ -> REPOSITORY [O_ -> STORABLE]]
- current_is_not_an_expanded_type
- is_real_singleton
require
ensure
- Result /= Void implies Result.is_connected
ensure
-
assertion_check_only: Result
current_is_not_an_expanded_type:
BOOLEAN
effective function