Up – Package index » coq-lsp » Library coq-lsp.lsp » Lsp » Io » TraceValue

Module `Io.TraceValue`Source

Sourcetype t =

Sourceval parse : string -> t

Sourceval to_string : t -> string