Module Jenga_lib.Glob_to_re

val convert_unanchored : string ‑> string

This module converts the syntax of the Api.Glob.create .. globs into the syntax of the Str library.