package lsp

You can search for identifiers within the package.

in-package search v0.2.0

Module `Monoid.String`Source

The string concatenation monoid with empty = "" and combine = ( ^ ).

Sourcetype t = string

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