package monomorphic

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Monomorphic.Make`Source

Shadow with specialised functions using TY.t

module Ty : TY

include sig ... end

Sourceval (=) : Ty.t -> Ty.t -> bool

Sourceval (<>) : Ty.t -> Ty.t -> bool

Sourceval (<) : Ty.t -> Ty.t -> bool

Sourceval (>) : Ty.t -> Ty.t -> bool

Sourceval (<=) : Ty.t -> Ty.t -> bool

Sourceval (>=) : Ty.t -> Ty.t -> bool

include sig ... end

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

Sourceval min : Ty.t -> Ty.t -> Ty.t

Sourceval max : Ty.t -> Ty.t -> Ty.t