package interface-prime

package interface-prime

interface-prime
- README
- Library interface-prime
  - Interface'
    
    Io
    
    S_base
    
    M
    
    S
    
    M
    
    Monad
    
    S_base
    
    S
    
    Make
    
    ErrorType
    
    Monad_result
    
    ErrorType
    
    S
    
    E
    
    Make
    
    E
- Sources
  - interface-prime
    
    interface'.ml
    
    io.ml
    
    monad.ml
    
    monad_result.ml

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

Module `Interface'.Monad`Source

Sourcemodule type S_base = sig ... end

Sourcemodule type S = sig ... end

Sourcemodule Make (M : S_base) : S with type 'a t = 'a M.t

Sourcemodule type ErrorType = sig ... end