मुझे आधिकारिक दस्तावेज़ीकरण में कोई size
या len
फ़ंक्शन नहीं मिला। क्या किसी मैप में तत्वों की संख्या को खोजने के लिए एक आसान तरीका है का उपयोग करके बनाए:ओकंपल में 'मानचित्र' का आकार कैसे प्राप्त कर सकता हूं? मैं मॉड्यूल बनाने के लिए `Map.Make` functor का उपयोग कर रहा हूँ?
module M = Map.Make(String)
मैं M.size M.empty : 0
की तरह कुछ के लिए देख रहा हूँ।