#!/bin/bash

mlton -verbose 1 -default-type intinf -output Prpu Prpu.mlb

# mlton -verbose 1 -profile time -default-type intinf -output Fifo Fifo.mlb

