~/jendhub

def restore_room

bendvy-ecs-core@0.1.0.3 · entity_allocator.bend:166

import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as EntityAllocator
import Base

166def restore_room(allocator:Allocator,floor:U32,needed:Nat) -> Allocator & Bool:
167  restore_room_join(floor,needed,visible(allocator))

Uses (7)

Used by (0)

No other definition uses this definition.