datakit-github

Abstraction of the GitHub API, suitable for DataKit clients
Library datakit-github
Module Datakit_github . User
type t = private {
name : string;
}

The type for GitHub users.

val v : string -> t

v n is the user with name n.

val name : t -> string

name t is t's name.

val pp : t Fmt.t

pp is the pretty-printer for users.

module Set : SET with type elt = t

Sets of users.

module Map : MAP with type key = t

Maps of users.