Library for specifying monotone frameworks in OCaml