package lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `Monoid.Unit`Source

The trivial monoid with empty = () and combine () () = ().

Sourcetype t = Unit.t

Sourceval empty : t

Must be the identity of combine:

combine empty t = t
combine t empty = t

Sourceval combine : t -> t -> t

Must be associative:

combine a (combine b c) = combine (combine a b) c

Sourcemodule O : sig ... end

Sourceval reduce : t list -> t

Sourceval map_reduce : f:('a -> t) -> 'a list -> t