Module Glue.INT

The type int, packaged as a module of signature TYPE.

type t = int