alloy API examples API examples Example using the compiler (download, view) Example using the ast (download, view) Example using the evaluator (download, view)