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=04831d5c2ea783d4e32b356a8495e5481ce8919aa70f5eecee29baebbf6fa483

sha512=1199122ab70701ecd33bf9c6339a743d163a1ba3ef5d0db189cab6c6712386739031b66002bf48d4740112430a93780f82dc37f56688ee33f99da928186b8205

Sourcetype 'a t

Sourceval order : 'a t -> 'b t -> ('a, 'b) order

Sourceval lift_eq : ('a, 'b) eq -> ('a t, 'b t) eq

Sourceval to_int : 'a t -> int

Sourcetype zero

Sourceval zero : zero t

Sourcetype one

Sourceval one : one t

Sourcemodule type T = sig ... end

Sourcemodule Nth (N : sig ... end) : T

Sourceval nth : int -> (module T)

Sourcetype ('a, 'b) sum

Sourceval add : 'a t -> 'b t -> ('a, 'b) sum t

Sourceval sum_comm : (('a, 'b) sum, ('b, 'a) sum) eq

Sourceval sum_assoc : ((('a, 'b) sum, 'c) sum, ('a, ('b, 'c) sum) sum) eq

Sourcetype ('a, 'b) prod

Sourceval mul : 'a t -> 'b t -> ('a, 'b) prod t

Sourceval prod_comm : (('a, 'b) prod, ('b, 'a) prod) eq

Sourceval prod_assoc : ((('a, 'b) prod, 'c) prod, ('a, ('b, 'c) prod) prod) eq