What does the operator | mean in ml

Asked Apr 06 '14 at 06:27

Active Jun 18 '15 at 16:27

Viewed 350 times

I am writing some code in SML and I tackled this function signature

(bool | int) -> (int * int)

I wondered what's the meaning of this signature

edited Jun 18 '15 at 16:27

Artjom B.

asked Apr 06 '14 at 06:27

Itai Caspi

3

And what was the function whose signature was represented this way? This signature makes no sense to me. The pipe operator is used in case statements, and in datatype declarations, but I have not seen it in a function signature before. – Edwin Dalorzo Apr 06 '14 at 17:57
Please provide a minimal working example. – Lily Chung May 01 '14 at 22:56
AFAICT this is not a legal Standard ML type signature. – isekaijin May 17 '14 at 10:23

0 Answers0