Up – Package index » vscoq-language-server » Library vscoq-language-server.lsp » Protocol » Settings » Goals » Diff » Mode

Module `Diff.Mode`Source

Sourcetype t =

Sourceval t_of_yojson : [> `String of string ] -> t

Sourceval yojson_of_t : t -> [> `String of string ]