Where is the .mli files for Core
Where is the .mli files for Core installed by opam.
It is under
~/.opam/4.00.1/lib/core
where 4.00.1 is the version of OCaml used.
For example, date.mli is under ~/.opam/4.00.1/lib/core/date.mli.
Similar Posts
How to pause and resume the execution of a process on Linux?
ByEric Ma
How to pause the execution of a process on Linux so that the CPU can be freed? Later, if the node is idle again, how to resume the execution? There are 2 signals related to stopping (pausing) and continuing (resuming) processes: Stop Default action is to stop the process. Cont Default action is to continue…
Random string password generator in Scala
ByEric Ma
Managing our research cluster, I frequently need to generate some string for new users’ password. How to generate them automatically and randomly in Scala? The passwords need characters ‘a’ – ‘z’, ‘A’ – ‘Z’ and ‘0’ – ‘9’ only. This piece of code works very well for me: def randomString(len: Int): String = { val…
List Files from a .deb Package in Ubuntu Linux
ByEric Ma
How to list all files from a .deb package like rpm -ql on RPM based systems? Use this command dpkg -L pkg_name -L lists files: -L, –listfiles package-name… List files installed to your system from package-name. More on the dpkg command, check dpkg manual. Read more: Query Installed Files from Package and Package for Installed…
Installing Latex and Compiling a Latex Docuent in Linux
ByQ A
Latex is a popular document preparation system that is widely used for creating scientific and technical documents. Compiling Latex documents on Linux is a straightforward process that requires only a few Latex packages and a set of commands. By following the steps outlined in this post, you can easily compile Latex documents on your Linux…
How to write file content with sudo in Vim?
ByQ A
Vim opens file even if the user does bot have write permission to the file. But after revision, how to write file content with sudo in Vim if Vim reports no permission to write the file. Use this command inside of vim to write to the file with sudo: :w !sudo tee % Here, !…
Consistency models for distributed systems
ByQ A
Which are the consistency models used for distributed systems? Papers that survey the consistency models Robert C. Steinke and Gary J. Nutt. 2004. A unified theory of shared memory consistency. J. ACM 51, 5 (September 2004), 800-849. DOI=10.1145/1017460.1017464 http://doi.acm.org/10.1145/1017460.1017464 David Mosberger. 1993. Memory consistency models. SIGOPS Oper. Syst. Rev. 27, 1 (January 1993), 18-26. DOI=10.1145/160551.160553…