[SOLVED] what does the ocaml type string list -> ( string * string * string) list mean

Issue

could someone explain to me the type

string list -> ( string * string * string) list 

specifically the return type because i don’t really understand

Solution

• -> indicates a function type from one type to another.
• string list is the type of a list of strings.
• string * string * string is the type of a tuple of three strings.
• (string * string * string) list is the type of a list of those tuples.

Therefore string list -> ( string * string * string) list is the type of a function which maps from a list of strings to a list of tuples of three strings.

Answered By – Chris

Answer Checked By – Willingham (BugsFixing Volunteer)