diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-10-06 00:07:38 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-10-06 00:07:38 +0200 |
| commit | 0646108378678dfe9043b004bae38718e6ef7f73 (patch) | |
| tree | 45e7a7f982f8b66bbe3c8c665f388d34b2dbec3e /src/Common.ml | |
| parent | 9b4304908c91cd4721d10844a1c49c25032d359d (diff) | |
[REBME] First draft of the APIapi
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 -> "" |