Module Datatype.Int


module Int: S  with type t = int
Consult the Plugin Development Guide for additional details.