Vysvětlení zápisu v jazyce ML

Vysvětlil by někdo zápis fun a reverse xs : a list = List.foldl (op : [] xs
? v jazyce ML?

Není mi jasný vyznam apostrofu, tuším že by to mohlo být něco s ignorací datového typu.. část za rovná se chápu i když nevím, jak ta proměnná xs se tam vezme. a taky co dělá xs v hlavičce funkce. Jediné co z toho před rovná se asi dedukuji ,že funkce vrací seznam položek typu a (něco jako List<int>

Klíčové výrazy in, let , let ### in #, fun, |, :: chápu.

Jednodušší definici obrácení pořadí seznamu rozumím nebo definici faktoriálu:

fun reverse [] = []
| reverse (x :: xs) = (reverse xs) @ [x]
fun fac 0 acc = acc
| fac n acc = fac (n - 1) (n * acc) in
if (n < 0) then raise Domain else fac n 1
end

ach jo, smajlík tam nemá být - místo něj : ) ... tedy :: a závorka