Functor Datatype.Option


module Option: 
functor (Data : Project.Datatype.S) -> S with type t = Data.t option
Consult the Plugin Development Guide for additional details.
Parameters:
Data : Project.Datatype.S