Boogiefn __top__ -

using System;

The following is an example of a Boogie function written in F#: boogiefn

# Example usage: boogie(10) Or in C#: