- CicNotation2.load_notation ~include_paths:[]
- (Helm_registry.get "search_engine.notations");
- CicNotation2.load_notation ~include_paths:[]
- (Helm_registry.get "search_engine.interpretations")
+ ignore (CicNotation2.load_notation ~include_paths:[]
+ (Helm_registry.get "search_engine.notations"));
+ ignore (CicNotation2.load_notation ~include_paths:[]
+ (Helm_registry.get "search_engine.interpretations"))