Module Ketrew_pervasives.Option (.ml)

module Option: Nonstd.Option