>> 1. No bool in the FFI. >> 2. C Bool in the FFI with manual conversion to/from SML bool. >> 3. Bool in the FFI with automatic conversion between C bool and SML >> bool. > > I'm coming around to option (2) as well. I'm certainly happier with option (2) over option (3), and I think it is better than option (1).