Up
–
coq-core
»
Pp_diff
» StringDiff
Module
Pp_diff.StringDiff
type
elem
= Stdlib.String.t
type
t
=
elem
array