#!/bin/bash

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

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

# mlton -verbose 1 -profile count -default-type intinf -output dijkstra dijkstra.mlb
