OlmiMake (p.olmi.1.0.doc.olmi.OlmiMake)

Sourceval id : 'a -> 'a

Sourceval flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c

module WithJoin
  (M : OlmiInterfaces.JOIN) : 
  OlmiInterfaces.BASIC_INTERFACE with type 'a t = 'a M.t

Source

module WithBind
  (M : OlmiInterfaces.BIND) : 
  OlmiInterfaces.BASIC_INTERFACE with type 'a t = 'a M.t

Source

module Monad
  (M : OlmiInterfaces.BASIC_INTERFACE) : 
  OlmiInterfaces.INTERFACE with type 'a t = 'a M.t

Source

module Plus
  (M : OlmiInterfaces.BASIC_INTERFACE)
  (P : OlmiInterfaces.PLUS with type 'a t = 'a M.t) : 
  OlmiInterfaces.PLUS_INTERFACE with type 'a t = 'a M.t