Up
Module
Add
:
S_sexpable
with
type
in_value
= int
and
type
out_value
= int
A fold for adding. e.g. symbol positions