Module Monomorphic

module Make (Ty : sig ... end) : sig ... end

Shadow with specialised functions using Ty.t

module None : sig ... end

Almost complete removal of the functions by shadowing

module Int : sig ... end

Specialize functions with int

module Bool : sig ... end

Specialize functions with bool

module Float : sig ... end

Specialize functions with float

module String : sig ... end

Specialize functions with string

module Stdlib : sig ... end