ran ocp-indent on contractable.mli
meh I need an editor that has an ocp-indent plugin