Trace symbols across Scarp modules

import "lib/navigation_values.srp" as library;

bind base = library.offset;
pure funcra twice(value: integer = library.offset) -> integer
    needs value >= 0;
    ensures result == value * 2;
{
    return value * 2;
}

var total = 0;
repeat 3 as step {
    bind base = twice(value: library.adjust(n: base + step));
    total += base;
}
print(total);

bind private_seed = 2;
pub bind offset = private_seed;
pub pure funcra adjust(n: integer) -> integer { return n + offset; }

Definitions and their use sites · घोषणाएँ और प्रयोग

1. library import_alias

   src/main.srp:1 · 3 use(s)

   Alias for the imported module. Each library.member access uses this namespace.

   दूसरे मॉड्यूल के लिए इम्पोर्ट नाम। हर library.member में यही नाम प्रयोग होता है।

2. base binding

   src/main.srp:3 · 1 use(s)

   The outer base is declared before the loop. The inner base initializer reads this declaration.

   लूप के पहले बाहर वाला base घोषित है। अंदर वाले base की शुरुआत इसी नाम से होती है।

3. base binding

   src/main.srp:13 · 1 use(s)

   The loop-local base is a different binding; the total accumulator reads this one.

   लूप के अंदर वाला base अलग बाइंडिंग है। total में इसी का मान जोड़ा जाता है।

4. twice function

   src/main.srp:4 · 1 use(s)

   A pure function called from the loop. Its value argument is named.

   लूप से कॉल किया जाने वाला pure फ़ंक्शन; इसका value नाम वाला पैरामीटर है।

5. value parameter

   src/main.srp:4 · 4 use(s)

   The named argument value: resolves to this parameter, not to another variable.

   value: नाम वाला आर्गुमेंट इसी पैरामीटर से जुड़ता है।

6. total binding

   src/main.srp:11 · 2 use(s)

   A mutable accumulator. += both reads and writes it before print reads it.

   यह बदल सकने वाला कुल मान है; += इसे पढ़ता और लिखता है।

7. step repeat_index

   src/main.srp:12 · 1 use(s)

   The repeat loop index is referenced inside the inner initializer.

   repeat लूप का इंडेक्स अंदर वाले initializer में उपयोग होता है।

8. private_seed constant

   src/lib/navigation_values.srp:1 · 1 use(s)

   A private module constant used to initialize the public offset.

   दूसरे मॉड्यूल की निजी स्थिर राशि, जिससे सार्वजनिक offset बनता है।

9. offset constant

   src/lib/navigation_values.srp:2 · 3 use(s)

   Public offset is referenced both from the entrypoint and inside its own module.

   सार्वजनिक offset मुख्य फ़ाइल और अपने मॉड्यूल, दोनों से उपयोग होता है।

10. adjust function

    src/lib/navigation_values.srp:3 · 1 use(s)

    An imported public function called with the named argument n:.

    दूसरे मॉड्यूल का सार्वजनिक फ़ंक्शन, जिसे n: नाम के आर्गुमेंट से बुलाते हैं।

11. n parameter

    src/lib/navigation_values.srp:3 · 2 use(s)

    The named argument n: in the entrypoint links to this imported parameter.

    मुख्य फ़ाइल का n: आर्गुमेंट इसी दूसरे मॉड्यूल के पैरामीटर से जुड़ता है।