raise an error when passing "with type M.t := ..." to OCaml
bootstrap