Module Alg_structs__.Util

type 'a proxy =
| Proxy

Proxy : 'a is a proxy for type 'a, allowing one to pass the type around without having to present a witnessing value.

See Haskell's Proxy.