(** Unit tests for the Types module *) val suite : string * unit Alcotest.test_case list (** [suite] is the test suite for Types module functions. *)