package monomorphic

  1. Overview
  2. Docs
module type TY = sig ... end
module MakeInfix (Ty : TY) : sig ... end
module MakeCmp (Ty : TY) : sig ... end
module Make (Ty : TY) : 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 Float : sig ... end

Specialize functions with float

type 'a eq = 'a -> 'a -> bool
module Stdlib : sig ... end