diff --git a/Library-Types.cat b/Library-Types.cat index a96002e..c763cc1 100644 --- a/Library-Types.cat +++ b/Library-Types.cat @@ -53,5 +53,23 @@