This directory contains tests that evaluate the type inferencer inside the logic of HOL.
basisTypeCheckScript.sml: This file checks that the CakeML standard basis library passes the type inferencer. This file also acts as a test of cv_compute evaluation of the type inferencer.