so this means we can have ocaml code compiled into pg procedures for triggers inside the DB