Permalink
Fetching contributors…
Cannot retrieve contributors at this time
4 lines (3 sloc) 59 Bytes
#load "uint32.cma";;
open Uint32;;
#use "spec/common.ml";;