Package main is the entry point for the Tamarin CLI. A path to a Tamarin script should be provided as an argument to the program. Example: Tamarin may also be imported into another Go program to be used as a library. View the exec package for documentation on using Tamarin as a library.