package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Ser_uGraph.Bound`Source

Sourcetype t = UGraph.Bound.t

Sourceval sexp_of_t : t -> Sexplib.Sexp.t

Sourceval t_of_sexp : Sexplib.Sexp.t -> t