llm
Download
12 lines 453 BTomoModified 2026-09-29 raw
123456789101112
# Helper module for test/import.tm: default values that refer to this file's
# own scope, so that importing modules can check the defaults resolve here
# rather than at the call site. `MODULE_DEFAULT` is deliberately a name the
# importing file also defines, with a different value.

MODULE_DEFAULT := 42

func with_arg_default(k:Int = MODULE_DEFAULT -> Int)
    return k

func with_table_default(-> {Int:Int; default=MODULE_DEFAULT})
    return {1: 1}