30. instance_function 函数注释

instance_function 模块提供了一种以声明方式实例化具有特定类型集的泛型函数的方法。

所有函数和符号都在 “instance_function” 模块中，使用 require 来访问它。

require daslib/instance_function

30.1. 函数注释

instance_function

[instance_function(generic_name,type1=type1r,type2=type2r,…)] 宏 创建具有一组特定类型的泛型函数的实例。 在下面的示例中，函数 inst 的 body 将被替换为 int 类型的函数 print_zero 的 body:

def print_zero ( a : auto(TT) )
    print("{[[TT]]}\n")
[export, instance_function(print_zero,TT="int")]
def inst {}