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