Module type Equal.S_local

type t
val equal__local : t -> t -> bool