That would definitely be a useful addition, though I’ll admit this is well above my OCaml pay grade.
In my case, I sidestepped the whole issue by wrapping the logic behind a Unix domain socket and signing (and verifying) the IR output from there.
Still, if someone does contribute a JCS-compliant printer to Yojson, I’ll totally include it!!!