Module Djot_kernel.String0

val compare : string -> string -> Datatypes.comparison