Previous
Up
Next
Module
Datatype.Int
module
Int:
S
with type t = int
Consult the
Plugin Development Guide
for additional details.