Settings DynamicFunction (Fixpoint v0.2.2)

Summary

Functions

dynamic_fn_with_arity(fn_name, fn_args)

Functions

Link to this macro

dynamic_fn_with_arity(fn_name, fn_args)

(macro)