Module Monomorphic.Make

Shadow with specialised functions using Ty.t

Parameters

module Ty : sig ... end

Signature

val (=) : Ty.t -> Ty.t -> bool
val (<>) : Ty.t -> Ty.t -> bool
val (<) : Ty.t -> Ty.t -> bool
val (>) : Ty.t -> Ty.t -> bool
val (<=) : Ty.t -> Ty.t -> bool
val (>=) : Ty.t -> Ty.t -> bool
val compare : Ty.t -> Ty.t -> int
val min : Ty.t -> Ty.t -> Ty.t
val max : Ty.t -> Ty.t -> Ty.t