Programmer-Defined “Types”

Use type to create a synonym or abbreviation for an existing type

type piles = int list list;

type piles = int list list

val somepiles : piles = [[1,2,3],[4,5],[6,7]];

val sompiles = [[1,2,3],[4,5],[6,7]] : piles

Previous slide

Next slide

Back to first slide

View graphic version