Ketrew API : Ketrew_pervasives.Option