finitio-0.4.1

https://rubygems.org

finitio

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 622549

number: 0.4.1

platform: ruby

spec_sha256: acb5ca09da187ce3d35fd746790a2459f729f43b0df944fae0a9f375c3180060

sha256: b510ed2447e8e0e938253bda2e03249d43d6ee223962214ba7f414369f3e4fe5

created_at: 2024-05-13 08:22:58 UTC

updated_at: 2024-06-09 14:05:37 UTC

position: 19

version_data_entries_count: 176

uploaded_at: 2014-03-20 13:58:39 UTC

indexed: true

has_extensions:

extensions:

Gem size: 38.5 KB

Version Data Entries

Total: 176

Unpacked size: 161 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
CHANGELOG.md64400683 Bytesdf2586ea18d0a5d7ac5ce062015a9d9ea2230674ae297115398b5a5292c27cb1
Gemfile64400230 Bytesf006c9713139e0693f01e055c7f2ba939704660baae0adcb1f59edf1f2d206a3
Gemfile.lock644001.26 KB204a8353116389993cd1f6286d42044e8ace256f44dfd37953e92eb38da90c08
lib/finitio/data_type.rb64400564 Bytes0f7cd7bd84010651157e22448321674a86ca1172944e312ab08d95f2ae9644c7
lib/finitio/errors.rb64400393 Bytes9f977b705753eb988148de2c51b41d8ae57f2cda3fbe18bebfde5f2e4341ffb9
lib/finitio/Finitio/default.fio64400756 Bytesc227e0d4f93c1a6082bacdd1aca300faa77c954da5a3c0c0c28a41eb85356c46
lib/finitio/support/attribute.rb644001.33 KB3574bb69c6e57d244ed194c88bac300c81b4d21c6fc8362b49b0c17f51c4400c
lib/finitio/support/collection_type.rb64400525 Bytesa7dce19a042063b38b9c2396e885cf9ae10c7107ad9d6ef5289cde74f2186eb4
lib/finitio/support/dress_helper.rb644001.26 KB702ff352ea8e54aa81a05c9691c199ca99aa9a04c2c7c4319e25b2439c911173
lib/finitio/support/heading.rb644001.15 KBa8e1fd4bb681ee86bdd5532d553d4d0e8f6b7c31d405818f5f5641d4353b60d8
lib/finitio/support/type_factory.rb644004.32 KB03b8b3f3ba6ee45509cf9eab6b1f5e1043bfa78069493b4546c4411c3e023802
lib/finitio/support.rb64400195 Bytes7060c3bfa94132a4b3068bdf775adac05be151aa4cc30d85998b95ade2bf231c
lib/finitio/syntax/ad_type.rb64400817 Bytes2b08de528b93bb6bf95696c87c12e9ad41da1df576dc8356a41e91e1a2fdd593
lib/finitio/syntax/any_type.rb64400247 Bytesc5f91ec85188345ce957fc3ce1b17802a484e57f017ccb7b04a0dc064ad3d0b9
lib/finitio/syntax/attribute.rb64400318 Bytescff2232b4be95b423b8de3e9e90a4cff41d81afbb105016b6caec251e748a15b
lib/finitio/syntax/builtin_type.rb64400353 Bytes5751eb21d693cb65b63dc815efd73ca797dfd6c41039f88975891f5784c87776
lib/finitio/syntax/constraint_def.rb64400347 Bytese3a26cd7429ef3e046a60f1ba70852f8276b93d52f69e1be819123cb4e0c229d
lib/finitio/syntax/constraints.rb64400545 Bytes09b40d78268b61f68d24b6030087b85fbf7a84c2b604bcb5c839802c7c60705e
lib/finitio/syntax/contract.rb64400880 Bytes69f53f678ac3d1ca035b7ee986f1be866bdada275753bad93480e2dd82efb08d
lib/finitio/syntax/definitions.rb64400335 Bytesf1e083f0bca742e64732715b0cb6ae3692db16f9e3c2b2bc909a6b0859a5fa87
lib/finitio/syntax/expression.rb64400236 Bytes2c1eb03bde58138b376c979fcc0a81063e162494a8ceab79c2b989b6a0446273
lib/finitio/syntax/external_pair.rb64400384 Bytesec9ac598e00e19b181b96eed408daae7601644697f25c58559c901fe6dc3fc81
lib/finitio/syntax/finitio.citrus644003.59 KB698e76ba63765b31dd19c9339d9d06d751093f4bb8186c983e95d7b3125e3d0d
lib/finitio/syntax/finitio.sexp644001.31 KB71c8f21daf21234cbf24531c2c121ef13c5331123b166bacb662777dd131ff33
lib/finitio/syntax/heading.rb64400395 Bytesc3d2fcbb01510ccf86cf7477d3ff5d719f475de3b854d31fc0c255e8f995b46c
lib/finitio/syntax/inline_pair.rb64400329 Bytes5584bfad614b0748beaf6ae38c4688ae474c183c9ce23a6d844be635ddd90a87
lib/finitio/syntax/lambda_expr.rb64400306 Bytes9e106d605b24fb22103c3312d76a929ac93d0d45a86e934252d8d9cbd2edae39
lib/finitio/syntax/named_constraint.rb64400411 Bytes3c9996dd64c28bed0d8eb812018763378d682322b2641d3c93522d5606657f42
lib/finitio/syntax/relation_type.rb64400287 Bytes2c48f38284f58ce703aae12305cdff6e5d2456091378bd214d55f1501ee66c48
lib/finitio/syntax/seq_type.rb64400289 Bytes1454742a3b013b3faf20bc3b116470595e15c045e4bb514ec923e5e816bd2a6e
lib/finitio/syntax/set_type.rb64400289 Bytes6d8a393af63d7b0f96053176c12392a92f7b8178cbad964d95373defb2f8a7c9
lib/finitio/syntax/sub_type.rb64400358 Bytes6d10e943ed994f536d9a35761cb54bdbe12d800be0e43b2c2196d232708fc956
lib/finitio/syntax/support.rb64400260 Bytesd87c3943e8c9cf1fd7f2bf67434d0251443806cb600bf27229f457e5ef234ca0
lib/finitio/syntax/system.rb64400400 Bytes0628938bcbaafd995f6c6664f7a6d2d44723d6c072476c822f6942530fd774e8
lib/finitio/syntax/tuple_type.rb64400275 Bytes85970eb2155066fa5933062d9f3bd4f4728eb2beb2ad133a0f9545c1ebc47033
lib/finitio/syntax/type_def.rb64400335 Bytes038ac6f34365009a2af89586228a2db1090422b61b5216d2849d9d8651dae82a
lib/finitio/syntax/type_ref.rb64400323 Bytesea012e8d73187cd7f66b1598274582e246a9341c20d13cf19f1e761ad07e7edb
lib/finitio/syntax/union_type.rb64400342 Bytesf1d258b9c724e7428c28be426148a0fa49455fbe8b9da9da69a492e289e3cc06
lib/finitio/syntax/unnamed_constraint.rb64400389 Bytes5956a363c44cc36c1e10d9792c207c9da4ef33e73ae07c3bb4ba9f8599e6727e
lib/finitio/syntax.rb644001.47 KB614beecf42161e70af1d219cb00f2e53d222be1dc02002999ceb1e39a0a06e01
lib/finitio/system.rb644001.21 KBc84af81df468f9f1a30c8a0da0612cebccd370a7d9966d05cffb736298e73c1d
lib/finitio/type/ad_type.rb644003.71 KB965fee128124ec7215b8aad489de89f1e5c836e95207073ca739178418114d2b
lib/finitio/type/any_type.rb64400945 Bytese52b27de689e6546018d6bfd97c3d11b9221b728f28ee8f9e0bdbb230f57b47f
lib/finitio/type/builtin_type.rb644001.43 KBff8c41737e789d407ccb7c4cf22e0469dc3f6f584a01c39388e7344220c7e308
lib/finitio/type/relation_type.rb644002.27 KB615b0b94a87ef3e2c15145d3d3db62f8d07346ec5c24c384fea6cb45f45e3a1d
lib/finitio/type/seq_type.rb644001.56 KB8a2ad949c99a07388a6be66523c5b3118fa47ce4e9a1998df309cba3897012f4
lib/finitio/type/set_type.rb644001.6 KBb0902335371c55a6bc747d2d0624400cd0def95b82f0f5915d9c674e7301c2bb
lib/finitio/type/sub_type.rb644002.8 KB7648ec72cbfaac242a3eadb91c7fda62f0fca6c4c96b3d9ba967ec76890cc07a
lib/finitio/type/tuple_type.rb644003.08 KBec47d986cf468ec43584805b65bea0c23e5825a49a402c86a525fe89a2a5a17b
lib/finitio/type/union_type.rb644002.23 KBb0cbded443b3027ff52cdb7a7ea630e820fe951f6f7f73cf0f0d18adfa29306b
lib/finitio/type.rb644001.6 KB62db59369655d1ea65727301212505efcff2e388e4e12c8fcb31d7cfce6a87e7
lib/finitio/version.rb64400177 Bytesb5d8e56de79f0debdad934c9ebd4edb89d5bc8980386f61972174752c9229dd4
lib/finitio.rb644001.21 KB44f55d6b7b19b1e569d4f4b3288ef8f765c28322d2d56164051bee2b00042e51
LICENCE.md644001.12 KBea8c2aa2fb1eb5f43333c636ffccbb67067245d3ee2189fb63297f325a4536ba
Manifest.txt64400123 Bytesdc67663767266bdd166ccffa6486eeadedeb5a1293fffad603c36301fdd74312
finitio.gemspec644005.69 KBa48aace551b0f23b160b5a6c80d517659483043efb3202ef5f06e14a005bfcc3
Rakefile64400209 Bytese245a9f226733d44bc843fde92c0fbcb12b227152470ed9bd49d5892498e8fd9
README.md644004.05 KB0715504ca9680aa2c097b9916dedb458250e517ce01a5809221cc8bbc7a6942e
spec/acceptance/ad_type/test_in_finitio.rb644001.7 KBf937e95a6204c7ca3497c46918bd94067776abd9961ab2fa04235eb44b2bb5ed
spec/acceptance/ad_type/test_in_ruby.rb644001.11 KBcb90baaa956a1d9f6e9e73d788f80ddef14a47f71aea1347d8bedc35821404c8
spec/acceptance/Finitio/test_default.rb644002.2 KB441a0a7318d40187bdfe3f2329179af4eb0120a55f0b8b14951172dccb89caf4
spec/acceptance/Finitio/test_parsing.rb64400306 Bytes9de85806e48c757b2b45b75e144154ae8966cafe962ca9da55b09b2f963b3e49
spec/spec_helper.rb644001.17 KB27d775fe6b6b8908e554bf7dbedd85c4915445eda130459e39be5558e9ff7962
spec/unit/attribute/test_equality.rb64400602 Bytes73da6d44db97c4a421e45579fd5236fabe84e1f3f492f1cdbde9d7dd90bcd945
spec/unit/attribute/test_fetch_on.rb644001.05 KB02a4eeeffbff9e976a79ab4be7d9116f0c712770fc564009db51e8085c119ea4
spec/unit/attribute/test_initialize.rb64400269 Bytes9922aaa4c1b6e1ee27f1bcf538c53d855bfa05fb29a098024b1e0085b3078a83
spec/unit/attribute/test_to_name.rb64400173 Bytes016a1f1ababeb3af381554d3574affc362f8123eb9055a1cbeff9270fa85a6bc
spec/unit/heading/test_each.rb64400540 Bytes74f3872f1e4ca767ee7c1b859316ef6078a748de41e96fc2c82b6bb28d977f1c
spec/unit/heading/test_equality.rb64400795 Bytesd8bd3698c3a951018edec76d725326b711ee5f827356928b9cd610a07b513fa2
spec/unit/heading/test_initialize.rb64400709 Bytes02ec91910f80ab90430b70039e78df79722428bdcf50f9acc5048bbf6eabee42
spec/unit/heading/test_size.rb64400585 Bytes7991246b8551c2df9ced33e66bab89ebe5c0602f848b333d3677b363fec6db28
spec/unit/heading/test_to_name.rb64400614 Bytes50254996c3272708732769a8862118d83c4bd002aa49b14f13db909459df64b7
spec/unit/qrb/system.q6440031 Bytes107687959955afa6bfbd6e464e16fafc3c80b49ead4fab1b1d227f8415188fa6
spec/unit/qrb/test_ast.rb64400833 Bytesc44ff7790d7f2bbd8cab40050da1756e059c0e3cc6736ea1a6e900a124ce216b
spec/unit/qrb/test_parse.rb64400668 Bytesb7ebd70eaa53bd8f6beba634e04924e6ae6f4a7c117f186e2fbc2874e199860f
spec/unit/syntax/nodes/test_ad_type.rb644004.04 KB5fc2b6f03eef819d4d81dd6fe4a80a3ec59fdc0845100d3abfa030316302b2e3
spec/unit/syntax/nodes/test_any_type.rb64400490 Bytesa019bc5469e3017918ec3b7f5f5c37f7fd5aa5bb6c0dec39375c992c32436873
spec/unit/syntax/nodes/test_attribute.rb64400770 Bytesbfd28c635cd69339807cb12fb8a2654834fd0c0df1e39c2b786bc12761942d30
spec/unit/syntax/nodes/test_builtin_type.rb64400945 Bytes242f208c51dcff860777181be1ac721a0d91c11822d06836681394637230349a
spec/unit/syntax/nodes/test_comment.rb64400413 Bytes5b84dc1ab92ae19bc7e2a5bf3c6787317f2374b34b7a274388700934ae681ad0
spec/unit/syntax/nodes/test_constraint_def.rb64400792 Bytes72a238a6d955ac1211b5cfb1a4f9a30df11c8f7a3cea97ded1f05bb3bdc867e0
spec/unit/syntax/nodes/test_constraints.rb644001.78 KB5cddd8ee5772c13ce67c5373577d6602239dc2b33d6b249d2a09875008cd15a1
spec/unit/syntax/nodes/test_contract.rb644003.36 KB69fe42b6b97d25ceeadb963fcd57e39222a757e025d64305af666038ba85f452
spec/unit/syntax/nodes/test_expression.rb64400778 Bytesba440a83b574b431ec131efe1bcc8347c27fe1005bc660a548a49fbb932d3ae3
spec/unit/syntax/nodes/test_heading.rb644001.22 KBc0e71feb3ca136b62489aef591a126cde340bc5f33617337fb49ac0de18fceb7
spec/unit/syntax/nodes/test_named_constraint.rb64400821 Bytesfb8b5c2465486d0e1858c55f4a9327c882594a8afe3877c42833f6d25afc1df1
spec/unit/syntax/nodes/test_relation_type.rb644001.24 KB54c73935995bccba5e691b57411f65223c673d51ff16dc4a1181a79576c87006
spec/unit/syntax/nodes/test_seq_type.rb64400741 Bytes384c9507ec297568194a7e5639ffbad5838f831772c474c5094137360ce13503
spec/unit/syntax/nodes/test_set_type.rb64400741 Bytes6adc8b6ac9323f9c0fe4966b382a69560054385980d316c557c12488a5d8c001
spec/unit/syntax/nodes/test_spacing.rb64400396 Bytes34323c99ae1a4a0f13dfb8ca9c181504b9ba8854c46309f0335c32ae7259d8a4
spec/unit/syntax/nodes/test_sub_type.rb644002.12 KB0bac51315cb293fce54eb94f567a4534a5150dcc9a35b534eb1b8a1f2297b900
spec/unit/syntax/nodes/test_system.rb644001 KB222b8b4410ff9969ab02b963322792db1992fc284161bf5d797cbdb6206a9325
spec/unit/syntax/nodes/test_tuple_type.rb644001.2 KBfa5583e32fc4e9492cd355546552e0ba2c5b4d67da2eae26645c7db45c65b6b0
spec/unit/syntax/nodes/test_type_def.rb64400529 Bytesc94aaae472f01654a9f9d158cb789fe4d60d11a82e3df6524e0bde584afd67be
spec/unit/syntax/nodes/test_type_ref.rb64400588 Bytes703c55e0f335622f4ed3c12351aa48db784cc127d6677590c339e823e6db28e5
spec/unit/syntax/nodes/test_union_type.rb64400758 Bytes586e3486c440b5e444c0f0930239a28e1257e1a675c08b368bd7ee6fadfad169
spec/unit/syntax/nodes/test_unnamed_constraint.rb64400842 Bytes4d223a4abda0ef897eafd9dcc219b96f2420cc7fccfe86c43be9842d0d1d3d3b
spec/unit/syntax/test_compile_type.rb64400379 Bytes74731647bbbe2ab44ed3e1443167f328aedeaf70b9674a774813a57cdbcc9932
spec/unit/system/test_add_type.rb64400932 Bytes72232b2818128527b9e1897a5b32821d415a2eb249f2e161fb7eb58ffbbf62d3
spec/unit/system/test_dsl.rb64400548 Bytes10aaf3be779790e53ee780528298e335bac294b97ed6cdc85576968b1bc6a6bd
spec/unit/system/test_dup.rb64400571 Bytes0eeb1812182226bbfb3d6f37c32e530ba39fc3011c655938ce0bb7cbc064921e
spec/unit/system/test_fetch.rb64400804 Bytesd033121ddc40dfe55209411e26d93b30dfa4598f66e6daeaf898ad9ed8c8d573
spec/unit/system/test_get_type.rb64400511 Bytesc7d36ec04acbc8425724cc3e5587364f12f3c6a51356af5bb9dc3259bd0d1f10
spec/unit/system/test_initialize.rb64400141 Bytes322d48ae2c61f5bd916a9ba3d299e19ea67c765f490fcb1032014b886c6e3cbe
spec/unit/test_finitio.rb64400354 Bytes6d49ec10bd8f9a28f3bacea44e43f21e4553b8be5f44fd8300f27e607e57f65c
spec/unit/type/ad_type/test_default_name.rb64400336 Bytes1e8f47c3c61ed7bc992d26845c2e9f1f3d3f39206031ec5daedb611c3c5600e3
spec/unit/type/ad_type/test_dress.rb644001.14 KB88e7bce32e63777572c9d5da2c534172ee39cfab025a64a656f0922a3fb63085
spec/unit/type/ad_type/test_include.rb64400352 Bytesf46544f629842bb617362c424dbaf3b47424ac730d6c47b6420fc65386b11a77
spec/unit/type/ad_type/test_initialize.rb64400981 Bytes2ac233043088532363ae3ce85fa5955b9de37220f8f30b8c30492056e5785caa
spec/unit/type/ad_type/test_name.rb64400340 Bytesec6c5ba903b7df451955754b8621bd1e0b8c58243d25c4c3b11385376c63a016
spec/unit/type/any_type/test_default_name.rb64400188 Bytes04579f050f03dda9a53d107e8a8bc8e867cbf5e52a0a2ddf96256c0b49f2e5cd
spec/unit/type/any_type/test_dress.rb64400319 Bytesb98d47a2d947ebbb3396705226caf0ccbc1f2fafa541d66dbf5d26d7975501d0
spec/unit/type/any_type/test_equality.rb64400625 Bytes3435803f6458281a745b6f4f9976e5d522dcf5d77e823eaf38995c50fcfc3c80
spec/unit/type/any_type/test_include.rb64400326 Bytes67b298d536a64794d652a9b669a94895163e9b07ab8619104011c064727de6fc
spec/unit/type/any_type/test_initialize.rb64400147 Bytes151b3c9927a8891a12a64058e1c84ef04a5419c2f20c7e4c6830397b541fbc45
spec/unit/type/any_type/test_name.rb64400421 Bytes983ae43ee608a310b153da9aa4e92096ea1bb8bad560fe119fe840ae8d35e30c
spec/unit/type/builtin_type/test_default_name.rb64400226 Bytes988b20d00a2afd424c8ef531d8698385c789deffaf222d3795d3af34e0360e4c
spec/unit/type/builtin_type/test_dress.rb64400619 Bytes0a2227d40a242549b3d6ce6d6f2e457061696ff5c821022b7b45a141a611a05a
spec/unit/type/builtin_type/test_equality.rb64400648 Bytes72e912aa8b47cd42f86ee588db0a426e658905aba702b97a89f74cfb9fb19856
spec/unit/type/builtin_type/test_include.rb64400352 Bytese7ccac6c1b5cc39562c24ba00d447542c531a2f390a4c15e3cd29f7b77fcb9cc
spec/unit/type/builtin_type/test_initialize.rb64400223 Bytes3115a21a3880bb0cc6c73eb9592c82024319618f3818e24ef3779977bdc565c7
spec/unit/type/builtin_type/test_name.rb64400455 Bytesf549063a3c0123e19bc73852a4cae1f332450c801075534647360af68888650e
spec/unit/type/relation_type/test_default_name.rb64400277 Bytes04a5ce074fa83dcb13dbcc76ffda1ff7c336bd5312796c175384524b51847110
spec/unit/type/relation_type/test_dress.rb644003.74 KBb3899e3421cbc00ad61b17ed5b530f3fec8cd2b604b13ee0eb043139dd9aafe8
spec/unit/type/relation_type/test_equality.rb64400962 Bytes13d6791f29d862b083b927610802c1fa0507188ab98b7c421a314bde02659690
spec/unit/type/relation_type/test_include.rb64400775 Bytesdfd4687680313126e3799058386c3a81de3db217f9d817f9b4f5652f68f98b78
spec/unit/type/relation_type/test_initialize.rb64400542 Bytes08b67669c67a90b930bcd76fbb4961e59e488e25a2d1f78e2ffcf2d4792df9cd
spec/unit/type/relation_type/test_name.rb64400437 Bytese8fb7fbb2dd14d2f4b66c840d54e46e9a310306a672c5f30f652858d13ef83c7
spec/unit/type/seq_type/test_default_name.rb64400211 Bytesdebf5930b9e7f7627e7ce953ed3a7819778a1b6456da7d98033d5996594a0f53
spec/unit/type/seq_type/test_dress.rb64400952 Bytesc346a8e74bd69e6d7119bfc19795a70c6ef133052fcfba82f70e12b30b46185a
spec/unit/type/seq_type/test_equality.rb64400611 Bytes399ce9634ae848c86bbc60c0498b14dbd30d5b447ae12944dab6c4a8b01a919e
spec/unit/type/seq_type/test_include.rb64400687 Bytesf882f0e552ac6abc56a3482b78427c03fb5e2b42cd744751d3b473ef96a5b009
spec/unit/type/seq_type/test_initialize.rb64400557 Bytesef29ee008da0c9422575b2919f3d58806a9b595b15e38835fa3ae83ee329b4f5
spec/unit/type/seq_type/test_name.rb64400373 Bytes32764589d89662beb2b9083a3577e5faa50f7547b91c0d16803f1bbf4124ff19
spec/unit/type/set_type/test_default_name.rb64400211 Bytes720227d30ef4df112b8208d99916de4137c0912e473dc073c0e86a7f0ff7cc49
spec/unit/type/set_type/test_dress.rb644001.31 KBca46a4a898a542c4cc2846d76cf3b23f325bf3ea83b5d5db45d79cd40a09efd3
spec/unit/type/set_type/test_equality.rb64400611 Bytes709da9c4d525f01072c32990197ab9dd144fec5c1baeb7e4668a2df9c79fdefe
spec/unit/type/set_type/test_include.rb64400687 Bytes053f9c3fa3f0ceba4bb53e165419edb777f90d49575f8795b428169866aaae7c
spec/unit/type/set_type/test_initialize.rb64400557 Bytescb0c42b3a130e5bbfa5e29a4be7bcbc7f85075b47957bd8ecf4558b961f2a0c8
spec/unit/type/set_type/test_name.rb64400373 Bytes55bb7b43fce4200a94a92ecd28ac2ac781eb1be26f056000109f9d2837a73077
spec/unit/type/sub_type/test_default_name.rb64400263 Bytes356cacf2a04445dacb554ba08f8166969b91bfe0c25b44688462c463fef2cf0e
spec/unit/type/sub_type/test_dress.rb644001.78 KBdf14ec04207bd78b586635b0dbab7a31613a298e2e99cb1dec5cb2a8b60957e4
spec/unit/type/sub_type/test_equality.rb64400958 Bytes611d419888b2e06abcb6ca54b254e25c9795c66e012138ccbb731808baf9c502
spec/unit/type/sub_type/test_include.rb64400622 Bytes9b37ec34246ee464d3db0dc90d7e1d5ae11d1695709b97fe610e75cc984d9484
spec/unit/type/sub_type/test_initialize.rb64400355 Bytes62c55789d1a62a8bc578af374c21f31b77efef9cfab6a998448f8cc34d3ab6df
spec/unit/type/sub_type/test_name.rb64400486 Bytesc5995b6e8389b3dff0f8d47fc9bf4b0b20400f3f152221144d23d5b03537a933
spec/unit/type/tuple_type/test_default_name.rb64400245 Bytes9806505210a7e8b71bbdf5047a0d6a3d144a99d01fbee35020050f113b947c1a
spec/unit/type/tuple_type/test_dress.rb644002.6 KBccd328abdd0b5f5297fe6eb824c1ae60b12d60de03122329711a3e4f42e709bb
spec/unit/type/tuple_type/test_equality.rb64400950 Bytes37084ac34e3c21b3ea811c0e4acdb2ff44cb6689d820ba6d5677ae6f7703b1df
spec/unit/type/tuple_type/test_include.rb64400708 Bytes3da7da5a8dfe832ea53a3387d9ed67f5893b36e37a9388923f0e7f87d5898416
spec/unit/type/tuple_type/test_initialize.rb64400627 Bytes34156e215e2da1b53f8604825d4d81bce23697ee56fe3594a592b7261a7b7995
spec/unit/type/tuple_type/test_name.rb64400424 Bytes10e0c1ad8f2b53618bf88efac18a90fca961418d91b6b4d641e0c25654f457f2
spec/unit/type/union_type/test_default_name.rb64400219 Bytesd43599be1aae0e3d83325598d1fc1097d60a1c4ac0013b652eb6782524acd6e8
spec/unit/type/union_type/test_dress.rb64400818 Bytesa9de569c5bab40deb33dab7e7ff6b23745db80162422f04ec7d7a4a4009317f4
spec/unit/type/union_type/test_equality.rb64400858 Bytesb391cb1adb2c8f4e09b51740e44df25a2f0ce3cceacb035d8463c2aadc66dee9
spec/unit/type/union_type/test_include.rb64400469 Bytes3f283ca325f48219e433db3a9f321a2fe847eadb7fbaddd55bdd376875de3750
spec/unit/type/union_type/test_initialize.rb64400557 Bytes129102b6de1415e01ffad6bd005c813cd4b18e4244e25aae6bc9767f4dd5f189
spec/unit/type/union_type/test_name.rb64400387 Bytesdb1dde8b99ff51221077eb9d2ba300c33cebc7fa530908eeff77f910b95202f0
spec/unit/type_factory/dsl/test_adt.rb644001.12 KB2ca0b4acb7dcd8fd2e480dd8be3e4736c7df2380cd35b54cc1c3f8f92729f0f7
spec/unit/type_factory/dsl/test_any.rb64400455 Bytesaac6e6d07ecb7d63dd9d91f3e9c2065f0ef0b31b09d51342577c0ca3f3002ba6
spec/unit/type_factory/dsl/test_attribute.rb64400746 Bytes6944da206e22a6fd2e01d28a8af88b2a6f72efa5c750ba3dd9c508477bc441aa
spec/unit/type_factory/dsl/test_attributes.rb64400955 Bytes04d3a8b42c8f68c027fd6bc6a2f85e7d1d4dc101389184f69168efb5af650cf5
spec/unit/type_factory/dsl/test_builtin.rb64400919 Bytes068664e9472865aab0f6663f974adb72c0f11502ea4ce2bbe621476ba47f56c8
spec/unit/type_factory/dsl/test_relation.rb644001.84 KBcd9cf6f24b46f60c8235acfb277e42ef4a5a41f09888c726792eb97eb85987bd
spec/unit/type_factory/dsl/test_seq.rb644001.09 KBc321c9c792b02136b11eab40825ad4f9d700838f56c66a4a649adc3fcda3695c
spec/unit/type_factory/dsl/test_set.rb644001.09 KBa0c662a531d8be3a377da7f6a5ac6374b7561d60d247a2bbf0b91d31d1285c2e
spec/unit/type_factory/dsl/test_subtype.rb644002.03 KBd7fab5d8524184585568f540433bfb807f95e8b562d54b2aedf285b949bd8354
spec/unit/type_factory/dsl/test_tuple.rb644001.5 KB80a276607843f7378e1fa5164edbae1504b8268b207071806ac92380e29bcf13
spec/unit/type_factory/dsl/test_union.rb644001.77 KBad8c120b8e2408a71940a8fff40debb49e3b9109b1f543f569b4636418bb2aec
spec/unit/type_factory/factory/test_builtin.rb64400489 Bytes087fe38c42088955b35b0382dd068cc18a3f137f75b1470a5266de7501430b34
spec/unit/type_factory/factory/test_seq_type.rb64400926 Bytesd528a580289e963226db43f6e10d4e3de326b8aa98b82bbbabf60d9d01f21c3d
spec/unit/type_factory/factory/test_set_type.rb64400931 Bytes7078dc359fb1f78705e876d079ad0b5970f01c3c570895329e13725f565b96ad
spec/unit/type_factory/factory/test_sub_type.rb644001.23 KBee0b37b7ec759fcab61cf2340a04a9b69b8348a5421b6c4a7610ee817c740dc9
spec/unit/type_factory/factory/test_tuple_type.rb64400981 Bytes7e627124acf709b16581d4bfaa45575a14404397c61d25d32e593fcdd262bea4
tasks/gem.rake644001.97 KBc1364f9d91cf3005dd991b6a76fa31e742b581b3e1cd457d75931810de67b255
tasks/test.rake64400667 Bytesc9257af994a5b633a8440aeb5cacb4afcd01c4139b3cd672e179b3e6674a3998