Module type DeepEquality.SIG

type t