diff --git a/src/core/containers.ml b/src/core/containers.ml index cb3f4814..6db033eb 100644 --- a/src/core/containers.ml +++ b/src/core/containers.ml @@ -42,3 +42,6 @@ module Result = CCResult module Set = CCSet module String = CCString module Vector = CCVector +module Monomorphic = CCMonomorphic + +include Monomorphic