alcotest

Alcotest is a lightweight and colourful test framework
IN THIS PACKAGE
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