Detached Code template contract predicate to ensure an entity is detached Eiffel Software detached Eiffel code contract precondition postcondition An entity that should be detached