That depends on the types. You can have something as basic as "int", something a bit more complex like arrays, or something even more complex like GADTs https:/

That depends on the types. You can have something as basic as "int", something a bit more complex like arrays, or something even more complex like GADTs https://v2.ocaml.org/manual/gadts.html https://v2.ocaml.org/manual/gadts.html