* mini/datalog_minic.ml: int, string