package alcotest

  1. Overview
  2. Docs

Monad signatures for use with V1.Core and V1.Cli.

module type S = sig ... end
module type EXTENDED = sig ... end
module Identity : S with type 'a t = 'a
module Extend (M : S) : EXTENDED with type 'a t = 'a M.t