<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="FileUtil" rel="Chapter" href="FileUtil.html"> <link title="FileUtilStr" rel="Chapter" href="FileUtilStr.html"> <link title="FilePath" rel="Chapter" href="FilePath.html"><title>FileUtil.permission_of_int</title> </head> <body> <code class="code"><span class="keyword">let</span> permission_of_int pr =<br> <span class="keyword">let</span> perm_match oct = <br> (pr <span class="keyword">land</span> oct) <> 0<br> <span class="keyword">in</span><br> {<br> user = <br> {<br> sticky = perm_match 0o4000;<br> exec = perm_match 0o0100;<br> write = perm_match 0o0200;<br> read = perm_match 0o0400;<br> };<br> group =<br> {<br> sticky = perm_match 0o2000;<br> exec = perm_match 0o0010;<br> write = perm_match 0o0020;<br> read = perm_match 0o0040;<br> };<br> other = <br> {<br> sticky = perm_match 0o1000;<br> exec = perm_match 0o0001;<br> write = perm_match 0o0002;<br> read = perm_match 0o0004;<br> };<br> }</code></body></html>