Hi, I was wondering if someone is aware of a tool which generates a sequence calculus representation from Ocaml code or vice versa? Is there any attempt towards this idea? Kinds regards, Tumee.