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