OCaml Expert · Lesson 4

Phantom types

Type parameters that exist only at compile time to track states and permissions.

Lessons · OCaml Expert · Lesson 4 of 10

Phantom types

Type parameters that exist only at compile time to track states and permissions.

Illustration for OCaml
Type parameters that exist only at compile time to track states and permissions.