OCaml Forge

rtt

RTT enables runtime types in OCaml in a fully automatic way by applying a program transformation after type inference