package grenier

You can search for identifiers within the package.

in-package search v0.2.0

A collection of various algorithms in OCaml

Install

sha256=658e1ad6fc5fdce0871975b3ebcb3ec760248be63cdb9ea965e3121cc7478d77

sha512=d9ff83f1b025f34c22af5921444993df219761dcee8d8cb5a940f266df8677278967434b22314c5c82d5d983e4c94c04cd52c4717d5c1f22fbd3a022631fae1c

Sourcetype (_, _) eq =

Sourceval follow_eq : ('a, 'b) eq -> 'a -> 'b

Sourcemodule Order : sig ... end

Sourcetype ('a, 'b) order = ('a, 'b) Order.t

Sourceval order_from_comparison : int -> ('a, 'a) Order.t

Sourcetype void

Sourceval void : void -> 'a

Sourcemodule Natural : sig ... end

Sourcemodule Finite : sig ... end