Some example functions in MiniFeldspar