$def with (code) $:code