[Question] OCaml related.

[anisrashidov]

What does " 'a " indicate in the highlighted part?

[m-spitfire]

It's a type variable, it means any type 'a, it's kind of equivalent of generics in other languages, but type 'a doesn't have any restrictions on it, it just means "any type", See Polymorphic Functions

[anisrashidov]

It's a type variable, it means any type 'a, it's kind of equivalent of generics in other languages, but type 'a doesn't have any restrictions on it, it just means "any type", See Polymorphic Functions

Thank you