#!/bin/bash

./alloy2ocaml < ath.als > ath.ml