3 ms·

I suspect that for trilila's purposes, that's even better! Now, if only there was some way to incorporate logic programming into OCaml as well ...