package ocaml-basics

  1. Overview
  2. Docs

Parameters

module K : Kernel2

Signature

type ('a, 'b) t = ('a, 'b) K.t
module Core : sig ... end
include module type of struct include Core end
val return : 'a -> ('a, 'b) K.t
val bind : ('a, 'b) K.t -> ('a -> ('c, 'b) K.t) -> ('c, 'b) K.t
module Infix : sig ... end