package olmi

You can search for identifiers within the package.

in-package search v0.2.0

olmi
- Library olmi
  - Olmi
    
    Interfaces
    
    Make
  - OlmiInterfaces
    
    COMMON
    
    BIND
    
    JOIN
    
    BASIC_INTERFACE
    
    INFIX
    
    LIFT
    
    INTERFACE
    
    PLUS
    
    PLUS_INTERFACE
  - OlmiMake
    
    WithJoin
    
    WithBind
    
    Monad
    
    Plus
- Library olmiExamples
  - OlmiExamples
    
    Identity
    
    Option
    
    List
  - OlmiIdentity
    
    Requirement
  - OlmiList
    
    Requirement
  - OlmiOption
    
    Requirement
- Sources
  - olmi
    
    olmi.ml
    
    olmiInterfaces.ml
    
    olmiMake.ml
  - olmiExamples
    
    olmiExamples.ml
    
    olmiIdentity.ml
    
    olmiList.ml
    
    olmiOption.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file `olmiExamples.ml`

1
2
3
4
5
(* Example for using Olmi *)

module Identity = OlmiIdentity
module Option = OlmiOption
module List = OlmiList