list functions to move from "function" to "let function"
Functions in modules list.Map
, list.FoldLeft
, and list.FoldRight
are currently defined as function
but could be let function
(to be used in non-ghost programs).
Functions in modules list.Map
, list.FoldLeft
, and list.FoldRight
are currently defined as function
but could be let function
(to be used in non-ghost programs).