package monomorphic

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

Shadow with specialised functions using TY.t

Parameters

module Ty : TY

include sig ... end

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

include sig ... end

val compare : Ty.t -> Ty.t -> int

val min : Ty.t -> Ty.t -> Ty.t

val max : Ty.t -> Ty.t -> Ty.t