diff options
Diffstat (limited to 'src/Common.ml')
| -rw-r--r-- | src/Common.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Common.ml b/src/Common.ml index 6f7c5f4..8f8d8d6 100644 --- a/src/Common.ml +++ b/src/Common.ml @@ -198,3 +198,7 @@ let lift3 (type a) (type b) (type c) (type d) function | [x; y; z] -> Obj.repr @$ f (cast a x) (cast b y) (cast c z) | xs -> unsupported_arity 3 @$ List.length xs + +let string_of_string_option = function + | Some str -> str + | None -> "" |