EnglishFrenchSpanish

OnWorks favicon

cmigrep - Online in the Cloud

Run cmigrep in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command cmigrep that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


cmigrep - search in ocaml compiled interface files

SYNOPSIS


cmigrep <options> <module-expression>

DESCRIPTION


This manual page documents briefly the cmigrep command. This manual page was written for
the Debian GNU/Linux distribution because the original program does not have a manual
page.

cmigrep allows to search for information in compiled interfaces of OCaml modules. By
default, the search applies to the modules described in the .cmi files in the curent
directory and in the ocaml standard directory, but this can be changed with the -I option
(see below).

The argument <module-expr> can be an exact module name, or a shell wildcard. Multiple
modules can be specified. Example: "ModA ModB Foo*.Make" means to search ModA, ModB, and
any submodule Make of a module that starts with Foo.

OPTIONS


General Options
-I directory
Add directory to the search path for modules

-package packages
comma separated list of findlib packages to search

open modules
comma separated list of open modules (in order!)

-help, --help
display list of options

Search Patterns
-t regexp
print types with matching names

-r regexp
print record field labels with matching names

-c regexp
print constructors with matching names

-p regexp
print polymorphic variants with matching names

-m regexp
print all matching module names in the path

-e regexp
print exceptions with matching constructors

-v regexp
print values with matching names

-o regexp
print all classes with matching names

-a regexp
print all names which match the given expression

Use cmigrep online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    SAGA GIS
    SAGA GIS
    SAGA - System for Automated
    Geoscientific Analyses - is a Geographic
    Information System (GIS) software with
    immense capabilities for geodata
    processing and ana...
    Download SAGA GIS
  • 2
    Toolbox for Java/JTOpen
    Toolbox for Java/JTOpen
    The IBM Toolbox for Java / JTOpen is a
    library of Java classes supporting the
    client/server and internet programming
    models to a system running OS/400,
    i5/OS, o...
    Download Toolbox for Java/JTOpen
  • 3
    D3.js
    D3.js
    D3.js (or D3 for Data-Driven Documents)
    is a JavaScript library that allows you
    to produce dynamic, interactive data
    visualizations in web browsers. With D3
    you...
    Download D3.js
  • 4
    Shadowsocks
    Shadowsocks
    A fast tunnel proxy that helps you
    bypass firewalls This is an application
    that can also be fetched from
    https://sourceforge.net/projects/shadowsocksgui/.
    It ha...
    Download Shadowsocks
  • 5
    GLPI Themes
    GLPI Themes
    Download release at
    https://github.com/stdonato/glpi-modifications/
    Color themes for GLPI 0.84 and 0.85 New
    Modifications for GLPI This is an
    application that c...
    Download GLPI Themes
  • 6
    SMPlayer
    SMPlayer
    SMPlayer is a free media player for
    Windows and Linux with built-in codecs
    that can also play YouTube videos. One
    of the most interesting features of
    SMPlayer:...
    Download SMPlayer
  • More »

Linux commands

Ad