finitio-0.5.0

https://rubygems.org

finitio

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 622550

number: 0.5.0

platform: ruby

spec_sha256: 7681be01e15ceb3413d155bfb742eff153138eb4a0e9d7f7a62b0e4b2713692d

sha256: c3fb6943423f8c17d9a74af9d81a2da2b6e9f119c728e262a268d2b478da24e0

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

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

position: 18

version_data_entries_count: 252

uploaded_at: 2015-09-18 14:10:35 UTC

indexed: true

has_extensions:

extensions:

Gem size: 50 KB

Version Data Entries

Total: 252

Unpacked size: 233 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
Gemfile.lock100644001.41 KB6460922ca57408bd850ca82ed96e0e07016a5bab7bc9fe74bc53a09d6c2ae4b3
CHANGELOG.md100644002.69 KB7b1621489e8aa63ef935e3ab78a4590642fd456ffe9a91b28142df2d59d89f16
Gemfile10064400229 Bytesf372a146af73aa1360102bfa592be355fbec6fb7fb87bec5c673de1a2f7ec731
LICENCE.md100644001.12 KBea8c2aa2fb1eb5f43333c636ffccbb67067245d3ee2189fb63297f325a4536ba
Manifest.txt10064400123 Bytesdc67663767266bdd166ccffa6486eeadedeb5a1293fffad603c36301fdd74312
README.md100644004.05 KB0715504ca9680aa2c097b9916dedb458250e517ce01a5809221cc8bbc7a6942e
Rakefile10064400209 Bytese245a9f226733d44bc843fde92c0fbcb12b227152470ed9bd49d5892498e8fd9
finitio.gemspec100644005.7 KBbbe630a235aef028cb4bfec7026113b6b40d57b0e991dea68a5def33865ac163
lib/finitio.rb10064400647 Bytes09aae97884b466f90a1ab977233d10707272f74d3a448a19df6e62a1d6694359
lib/finitio/Finitio/default.fio10064400756 Bytesc227e0d4f93c1a6082bacdd1aca300faa77c954da5a3c0c0c28a41eb85356c46
lib/finitio/errors.rb10064400742 Bytese18af6ab62a4d5ff6121128059e1fa50ed2dcbffc674b40b2076bc24704094de
lib/finitio/support.rb10064400301 Bytes447af5d752d5a38b85581489399362e3dae15bf871614841946afe62f370aba7
lib/finitio/support/attribute.rb100644001.57 KB63ca6a5ce8b9eff7178d039129e47e5f08056aac13d1a8bb964520937a5177ce
lib/finitio/support/compilation.rb100644001.12 KBb6680af8db59ffd21b5ccee8c25d0d129c450c70b9307cae8a978c229148a483
lib/finitio/support/constraint.rb10064400877 Bytes7b789b830937e08d63bab54c0aacc6c602a71e0e27cc16b172da2596894f3154
lib/finitio/support/contract.rb10064400979 Bytese09c622e5dd7fa65185221549cb60b564be0954e1d92ee2dc828811285eb3cab
lib/finitio/support/dress_helper.rb100644001.28 KB2b9b637815ca158dff59e68fa2865d1d5517d2c807c2cd7169614a2115c35be4
lib/finitio/support/heading.rb100644002.03 KBa67de7f486d48fd4fd1dbb1e7e9b8ba4885d51315f1418f68316f8122bd76a86
lib/finitio/support/metadata.rb10064400357 Bytes635f6ad3806875263ac1e47dcb4df2a259fcc651e838e8d03b70815724d55ccb
lib/finitio/support/type_factory.rb100644007.21 KB4f94556363df05e27a859aca8ee6ce654ac82c4a5c36dc0b069425a16aa42ed2
lib/finitio/syntax.rb100644001.02 KB14c3a56f1ab3615e06bab3306d57d45f5006e868019bc507bc3d7bd6b6aec53f
lib/finitio/syntax/expr.rb100644001.31 KB1957482ecd07d23cc1451273f8f6ec8ebd25bf36197ebc5b87831f194ed98179
lib/finitio/syntax/expr/arith_op.rb10064400478 Bytesdee9f96ebb8bee6987b29ffe430159096999231705827b527bd506410134fcef
lib/finitio/syntax/expr/comparison.rb10064400484 Bytesdc0944733aa1cb2f2fef0b5ddfecd4fe0dff87049e6e4f1b5c7162c92bcc26d3
lib/finitio/syntax/expr/fn_call.rb10064400523 Bytesa3aaf3aa56b015de5d7c22e761d91aecae14b83a0f72c727dbea35b06a5f956a
lib/finitio/syntax/expr/identifier.rb10064400338 Bytes509b292d663ec11716ca4f55ce3ca0a820417344fe00a7f5b6da6b4c34f72961
lib/finitio/syntax/expr/literal.rb10064400323 Bytes26fdc53ff42bc5dd5e27b40e56ecf30682c9d599b3f332f726986ef5f6bbb957
lib/finitio/syntax/expr/logic_dyadic.rb10064400474 Bytesbe88ef02d689491e7177982e099cf541d63ebe80e7ff75c3aa4ea394000e3b3e
lib/finitio/syntax/expr/logic_not.rb10064400383 Bytesf3da989e69a216ac194f67731b2bbe66abdbe613a009aad03a0e45a56f9e34a0
lib/finitio/syntax/expr/oo_call.rb10064400484 Bytesae39bd11ebef28f8f3ee0a4323d643256ae5291219e38bc8f94228565ce3e75a
lib/finitio/syntax/expr/parenthesized.rb10064400369 Bytes01000f35607f19c36939ea342ceb90d9a48170b61638d4ce26258f8c48cbf7ed
lib/finitio/syntax/expr/unary_minus_op.rb10064400389 Bytes6c6c357e3f87a35038495d538d3d3ff1b05f4bba4ab715986d86368b0b0e8113
lib/finitio/syntax/expressions.citrus100644002.47 KB23de73d0894894b052d620afed6a8e6c60418eb46bfb8061bbe1b4c3f3f7a47b
lib/finitio/syntax/finitio.citrus10064400517 Bytes3976715a00432f2302695309814e59aafaad510613e010e916245788c8884e60
lib/finitio/syntax/finitio.sexp100644001.36 KBfaf8028b6a99456e428822869a1fe19269faac748a1ecfa3ebfeaa1584935dfa
lib/finitio/syntax/lexer.citrus100644001.04 KB269dcf817fb12b3b712c85e654fbb9fce0f2cb4ff9d34869f8a145ef5311b3e7
lib/finitio/syntax/literal.rb10064400324 Bytes669b3a724ab89e6442919fbaa7c17bab81cd1a70a57576f42a712285627a65ff
lib/finitio/syntax/literal/boolean.rb10064400463 Bytesbde14b7b0e6b76516a8ef051871947f05ec78361f1100ad12884185d5c53c2c8
lib/finitio/syntax/literal/integer.rb10064400257 Bytesf671b0e7dfdf45e782d0ac5b7679c097b58deb416764b40a38c262292b8e4e1f
lib/finitio/syntax/literal/real.rb10064400249 Bytes1fee61015d1ce1cfac8f25e0c8fde195a80cd65f53e898cbc8e528880bfdd587
lib/finitio/syntax/literal/string.rb10064400262 Bytesa0db8ebf74999d6da17f02a4b842e7c05a14f46b58f9964c61ee1bd0726bc2d3
lib/finitio/syntax/literals.citrus10064400798 Bytesc838a3bdd5094ca1d69d248ab8de462d52d8fc682f1317b0b1859810184e57b0
lib/finitio/syntax/node.rb100644001.09 KB3a22c5816d03e08ee30de3678af2628693832191e720171618821eca3ef9b5d6
lib/finitio/syntax/type.rb10064400986 Bytese1ca074ca3a74f3c8f6baaca755a6abc7b3c591c0fe7170e5cc9426071adcb49
lib/finitio/syntax/type/ad_type.rb10064400741 Bytes6f7edd636b7f4dbbf3e9bbabca6f6130cf56b4a5ab7b90eb9bfbc2d34fd856f6
lib/finitio/syntax/type/any_type.rb10064400244 Bytes654e3b22301045e95d3b22d7eb3336a89b3a6f83f683941714f2d6eb0f0eaf59
lib/finitio/syntax/type/attribute.rb10064400654 Bytesff068eec83345e5bf2f14c891cf9d0a0594cd2ff72c26874da44a5a75d59dc38
lib/finitio/syntax/type/builtin_type.rb10064400384 Bytese821f3940213943eb0b3b1aa12e8edfef014585d11864d2d45436ea77abb183b
lib/finitio/syntax/type/constraint_def.rb10064400340 Bytesd6c488ba4838a2d0f967612d7fac79354c47d02dfa9df484a5f9ea1ed371f200
lib/finitio/syntax/type/constraints.rb10064400387 Byteseeb1385e69491a1f217ffd62527bfb52bb260ad20f00808bad97dd7558b90971
lib/finitio/syntax/type/contract.rb100644001.02 KB179230a4e23d09896daf38d66160ad4f214ed94581a5203e8bcffe513b917295
lib/finitio/syntax/type/definitions.rb10064400354 Bytes0eb7af6d2261bd65778b0e57f518e03b68ce4795fd9da5791e486dd80fc682b3
lib/finitio/syntax/type/expression.rb10064400257 Bytes0a3bec8fe2f2967781be0048a215f3ad7fe88b634fa5c68b57c82d280bb3ea3d
lib/finitio/syntax/type/external_pair.rb10064400415 Bytes0601322011046cd134a997daa6eda93647c8a1a7a131df17aa34df9a4009cba6
lib/finitio/syntax/type/heading.rb10064400625 Bytes8da4862a074014f8cae2c15227b8358e337ffe305a835fa8ab75f082f41a96dd
lib/finitio/syntax/type/inline_pair.rb10064400358 Bytes04fc74a11cdb467c6aadb0f545c5bb202389e36800a6c732f9162422314cc0b8
lib/finitio/syntax/type/lambda_expr.rb10064400363 Bytes997cd04a6a61a0a4fd2fd501451e79e2be8752ec5966337ce050ef3239673163
lib/finitio/syntax/type/main_type.rb10064400310 Bytes5d46af5c25c9944c5f11031293961c5b7aa5cb693bc2a70aaa5788fa98b266c5
lib/finitio/syntax/type/metadata.rb10064400350 Bytesf73da443f0825fc073282fb9e22c30fece76fd1fd93097f594e0afa5a863fad8
lib/finitio/syntax/type/metadata_attr.rb10064400283 Bytescdd0ade27ae834f28e4695eb6749614887fb815fdf3a6bdb8758e4e84bc87b44
lib/finitio/syntax/type/named_constraint.rb10064400558 Bytes40d530a0c46e28f7a70b0c929cc1a6c19c36ab7fc352a306a1dde81c8d6c4a97
lib/finitio/syntax/type/relation_type.rb10064400427 Bytes566d4768b5e3c52a3fd91cb2ed128712c4860057c3b40fdf9ff34bc0c9c5a27a
lib/finitio/syntax/type/seq_type.rb10064400329 Bytes1097f3c47e543741e5fa03ba82916aa511556966bb68c3aad84a3d65bcbbe36b
lib/finitio/syntax/type/set_type.rb10064400329 Bytesf0893c54f376c9314519f7515d6479688d13d5d54d8bbb6ec4f61ce8f0833b83
lib/finitio/syntax/type/struct_type.rb10064400381 Bytesbea69124a8172b6f400617753afd40ca0ec8dd95a98fbebda31cb1f305dc8391
lib/finitio/syntax/type/sub_type.rb10064400419 Bytes88d18f04bc15ccc8fe01de2e7045f85a7e461b1c47c623de69d5aa7abaa425ab
lib/finitio/syntax/type/system.rb10064400443 Bytes0dd9ceed52528e7ddd4d6af7a28724139bfffcdda3e194c591cdc2adc4311c96
lib/finitio/syntax/type/tuple_type.rb10064400415 Bytesd36ecfe706d381bcd3ab832739771c9952be912bec96899f1a268f228829bf5e
lib/finitio/syntax/type/type_def.rb10064400432 Bytesd0faa49d1ea8c8b1bf7813c53043592c72eb17bec4d28d6ca55ea2af3a8712bd
lib/finitio/syntax/type/type_ref.rb10064400350 Bytes62dba5495e1d8ef3cc2e944a1826a1c1c8f46affea952fb1c113289e2d1dbeb4
lib/finitio/syntax/type/union_type.rb10064400361 Bytes5f1775d6bedcd4690f5109992c886c4124db421eeccbdba5faf077e159b671d8
lib/finitio/syntax/type/unnamed_constraint.rb10064400493 Bytes3e75b4d443ff25eb4ec77391237c3902e641899383bd4010141aedb7e99f1ed5
lib/finitio/syntax/types.citrus100644003.58 KB00f5bcb236e8b25c734de570d4c32a14eb8de08b2202ba28da354b33432efb2a
lib/finitio/system.rb100644001.18 KBe5b4a9d2157ce5e81e1b796bb504c002acf4eeb23b8f3dfa836e2c563633b1a5
lib/finitio/type.rb100644002.44 KBc9639ba6ead952b8a30a9270a1323bd75701bd54f953b7ff884da17d887828c8
lib/finitio/type/ad_type.rb100644004.2 KB0a13b7d20b906fc1072b55341de68d12bb88fafc5a74c0b5ae038fb82bdfcba0
lib/finitio/type/alias_type.rb10064400712 Bytesba16505441c117cc902428ac6f807bff7f781cfc2e4d3512e317b08bc2b2166e
lib/finitio/type/any_type.rb100644001 KB928d679f8c19921a4e166d01c277cdb1ac0c551d636b50b7dd53d48d57d7f94c
lib/finitio/type/builtin_type.rb100644001.48 KB66413b2ddc9bb1ce6be4fd455918ef14042f02a9bb9e334638ffe7dd271fe3ac
lib/finitio/type/collection_type.rb10064400539 Bytesfc636df2ccbaf5509d9306e69be347855dcf70f8f8ef480a3660e4a83509429b
lib/finitio/type/hash_based_type.rb100644002.38 KBf7005f2221ec6545ee6e755a2910f4b2fdd5baceb76fd8f9cb1a9640539f3cef
lib/finitio/type/heading_based_type.rb10064400586 Bytesa947eb263bcedd9e1a41d6ef91d7925009d1727638c2a1c6b1f9b82ee34ef283
lib/finitio/type/multi_relation_type.rb100644001.11 KB0b4463cee6e91c53fca163f1de34252ea0bf9f6a54d67bb5fef880b5572ede61
lib/finitio/type/multi_tuple_type.rb10064400971 Bytes8d06803bc6d5ee47bfaa0e99ceff5a6fbabcaaa52307b48e676a9ca96aedb870
lib/finitio/type/proxy_type.rb10064400859 Bytesd3b8c9e02ecfe45490b798acfdb8a8e5f71186067fc690cc581a2fe04fb062c5
lib/finitio/type/rel_based_type.rb100644001.05 KBca4e44f49bda298f75b7bbf65c44ba1a5a96b1db2235f0648109384ccf00b4a6
lib/finitio/type/relation_type.rb100644001.24 KB8169b7745736a10a143f30e3f0b6e1c668158e0e27388deb1b6284b150fbba8f
lib/finitio/type/seq_type.rb100644001.6 KB80799d29c8f77dc54cd2a42cd9a7ca6e8702c04d2da223dcd5ea810d4e6d3cf3
lib/finitio/type/set_type.rb100644001.65 KBff15c9b8eddabb4d9e2b6c24e0eb628b631e35fb92cb12b0b8841aee9f0f4f07
lib/finitio/type/struct_type.rb100644002.52 KB07e9cbd9122604e46e818a9de17cd9819cdd494a4c4cb85581913c1e7f0d9842
lib/finitio/type/sub_type.rb100644002.83 KB84c693c5b3de41f8b3d9be549e009e1b05442b9fbad525a769ee20b4070a07a6
lib/finitio/type/tuple_type.rb100644001.55 KB14977abf7e712b715c5f171cb3a34450404995b8cd0ddafb3d8c64450bce6f00
lib/finitio/type/union_type.rb100644002.37 KBc4de70c94248f2f5906b3757e1c537b383a10371fd3739144b0ccdf8b13c6a8b
lib/finitio/version.rb10064400177 Bytesf2eebcbc8951d928a03c9b7233b01f1d279c4aa6e62edd2f1516ef0a4aea9a86
spec/attribute/test_equality.rb10064400765 Bytes42b3262a2eab6b69083fb644fe7189a344eb0609bb90ffaa0fd9933fdadd561c
spec/attribute/test_fetch_on.rb100644001.06 KBddddf1cef81efa30db60903c4383a083a39acd5c64ce672618807bcf07b6e9d9
spec/attribute/test_initialize.rb10064400671 Bytese71a624bf39bb14c6111b79dcc568311092ccc89ad12043fc488042339db0176
spec/attribute/test_optional.rb10064400424 Bytes2c027ce654c1301741682a0b76db5bb64ce6fc8d0ead050ca0e9d4f29e450f84
spec/attribute/test_required.rb10064400403 Bytes45139d1a215ec51a2d454b058e57d8b477d5fdedd904ee5a852c73b058870b50
spec/attribute/test_to_name.rb10064400381 Bytes9fb5f6da6bb31854846b6fb4ce4bc948c6e9bce35e68ea406d0913f708fafdca
spec/constraint/test_anonymous.rb10064400398 Bytes35c39e61a7a96ce8570d17f1e2efe67270e85008a04096db26367ca555a664df
spec/constraint/test_equality.rb100644001011 Bytes3d49bd71546c6b26eda9023f0d0912c29e3d6bb75d9127cb864eafe234c2868e
spec/constraint/test_name.rb10064400390 Bytesb13cb6e98b655976916fa534373a0de31bc7e683439f991b075abe289402d7ed
spec/constraint/test_named.rb10064400390 Bytes078d905149969ad8f74e715efb7628abe5167f4cc4a97d6433677cdf01b5c154
spec/constraint/test_triple_equal.rb10064400267 Bytes76014e96623fb4aa9d1e45a35c81d6facddcd180cb12d97a5f4b8596b052d850
spec/finitio/system.fio1006440031 Bytes107687959955afa6bfbd6e464e16fafc3c80b49ead4fab1b1d227f8415188fa6
spec/finitio/test_ast.rb10064400833 Bytesc44ff7790d7f2bbd8cab40050da1756e059c0e3cc6736ea1a6e900a124ce216b
spec/finitio/test_parse.rb10064400419 Bytese6ebf3ad26cb06062a044e3f5170761e6943804c6f3baf7db02ff5f3e516451b
spec/finitio/test_system.rb10064400685 Bytes6885231981bb5a3138be3a0030e3d00c9b99ba86c2c99f4542caf3cbb757e1e8
spec/heading/test_allow_extra.rb10064400535 Bytes3a427f485137d520dd2c1cbeaa438f4deb4445bee286bb7638e34ca898ea19f0
spec/heading/test_each.rb10064400548 Bytesc9ad86ada112e738fa47d2e122ea9c4720e0207016e634ea0216d7fb7ee35227
spec/heading/test_equality.rb100644001.04 KB0a4eb8ea568420829fffc39c94e8328898ae95c1e25b523c0523de1636655ccb
spec/heading/test_hash.rb100644001.13 KB51e782dab9ab6c50335eb6a38949f5b8662375147be41b7c48f4962fa1c4994f
spec/heading/test_hash_get.rb10064400315 Bytes7f05ec7e5878ddc73a1fd37dd796e81cb45890cb236465da82b42173291d0e0d
spec/heading/test_initialize.rb10064400709 Bytes684b1f063747ac0201d53435576bdbaf89ad5ffd265c049cd9b3347624384fdd
spec/heading/test_multi.rb10064400952 Bytes7490743c96137f2d3ae8d603baed0515ee12f25ce2c0682daaef1f4900c5a3ab
spec/heading/test_size.rb10064400585 Bytes7991246b8551c2df9ced33e66bab89ebe5c0602f848b333d3677b363fec6db28
spec/heading/test_to_name.rb100644001.18 KB0f0ebcec7c1e45ecb6b1b5bd98b0534346b5f338d923878126ae2f427a53e22a
spec/spec_helper.rb100644001.52 KB699a0925c90c2c00ae798ef952d88ea8ca37a730870cab57744a846b506a11b5
spec/syntax/expr/test_free_variables.rb10064400879 Bytes85f1869931aad451ae5b3d9019b5209c38f1bee07c90aacac9075c38d673fc66
spec/syntax/expr/test_to_proc_source.rb10064400896 Bytesa31e884a491ad145b816570633602fcba85b5a587f238ec6beecc451d6d349d2
spec/syntax/nodes/test_ad_type.rb100644004.12 KB4aadb8238344b286ada4ec1899ac5c92ddb51f4ba74a4f44c56a5cb08fb0425d
spec/syntax/nodes/test_any_type.rb10064400498 Bytes85f85fa6bf85eb0f6141dc082982f4d2eb39306437aa4cd89fc41fcb2f9411ce
spec/syntax/nodes/test_attribute.rb100644001.57 KB85105da5068894b2c13a52c55f1315f388f2613a2f1cd42d21ab72c4b11fb76c
spec/syntax/nodes/test_builtin_type.rb10064400965 Bytes6d073f5bfd241a3f75b1966e017b1bb473df3c535f4ef8df62c3259667d66442
spec/syntax/nodes/test_comment.rb10064400417 Bytes50cfa29072cce466dcc4e79346ef6880533d30cc31b2516286c0d77d25b92616
spec/syntax/nodes/test_constraint_def.rb10064400640 Bytes8a03cecd6a141d162e7b1af323d80cbf087678eeb4d888716c4946d50c71ea06
spec/syntax/nodes/test_constraints.rb100644002.04 KB2351a24da3428745d6a3e47eef7c520ba8a3e7f9615b1c35a503e142a0eb7b68
spec/syntax/nodes/test_contract.rb100644003.38 KB00da6a57f37b4ca5bf95c4b6f988817bf1d52c65ffced77f5ef4874375d6fc70
spec/syntax/nodes/test_expression.rb10064400965 Bytesd7ecd06b37033fc51b0f67e07327caa84a99d3dfadf371737a5bcb84d9bda6ea
spec/syntax/nodes/test_heading.rb100644001.75 KB40597e36328035135e284f05e21273f6b0c6a3a9cde14787f04a107c684ebab8
spec/syntax/nodes/test_metadata.rb10064400509 Bytes90cf8574430efbb435c37240f1d5193b8876c388d39f06090eec2d21451fccd3
spec/syntax/nodes/test_named_constraint.rb10064400843 Bytesc54896b9b641cc4245156c6b3994bfd16cc4df57bb80d07ad3019deb8251af04
spec/syntax/nodes/test_relation_type.rb100644001.9 KBeaa71e95c71208f9a234d5d8fed92a228c8cd6faefd4651618873a66567cf5e3
spec/syntax/nodes/test_seq_type.rb10064400757 Bytes5f30e21140a435e940a14acc963d954f20498144079ad8d9dec0e1c37ceaf598
spec/syntax/nodes/test_set_type.rb10064400757 Bytes166e52c4a72205212d96738cdca20b6f466d461ce9e97bde8e31f004f4c70692
spec/syntax/nodes/test_spacing.rb10064400400 Bytes287e1b311eff51c94203adfbf3580a1b647b26b54a3c4703dccb946e95db8cdd
spec/syntax/nodes/test_struct_type.rb10064400785 Bytesaf3b56ce4af7b30f525250386d5a25f3872b30ad9af7cc139488adf982ef8cb8
spec/syntax/nodes/test_sub_type.rb100644002.19 KBb8bc27adc48184346a0b08456ab8decaf8f9c21863f878694048a1b6176e8c26
spec/syntax/nodes/test_system.rb100644001.01 KB68121c8d252b1e8667b5e80ad61b8d8005577bc646531bfbc9c530e1149af4d8
spec/syntax/nodes/test_tuple_type.rb100644002.14 KB6ad9a58b9693f12fa869f5e0f69d437185c54011ffc48aa44c84303f25353209
spec/syntax/nodes/test_type_def.rb100644001.07 KB05aed80661863a9fd02612d5a32701d8f9ebee5f194526ee3a0cd5b070a77bf0
spec/syntax/nodes/test_type_ref.rb10064400600 Bytesb9f14858c914458c1252e4582b9e6f1a93243365329ab58a219aad4d6bc55bfb
spec/syntax/nodes/test_union_type.rb10064400770 Bytes8b5793094d2f5a18695e6147db9df34a001c3049551dd799b38e4c7a51af6c1c
spec/syntax/nodes/test_unnamed_constraint.rb10064400836 Bytes43163db7da166294f5af7421f0d7cf93556c71f98b176bfbf37eac166b0f7bed
spec/syntax/test_compile.rb10064400776 Bytesdfe996efdd1a6a1a7753e817b0646e4ededa65f4f05e09479abc9af14a83df16
spec/syntax/test_compile_type.rb10064400384 Bytesbb7fd1eb878d759cae1f85bdf821191f93140e5af800069c31acdc7910b3a30f
spec/system/test_add_type.rb10064400950 Bytes16d42653e1fa8a3766864e9017762edfec9a74fede3aef130c914a7a51e8ee91
spec/system/test_dsl.rb10064400548 Bytes1fc822b8c804455af745ab7263c8ae7b60c33ca2ca9b90243ededa933eb1a770
spec/system/test_dup.rb10064400587 Bytesfa1c3a6cdea376218077c53da174b18adbb85d792f2f7ccd8b1775bba95c2f6e
spec/system/test_fetch.rb10064400812 Bytesc9b1712c78158bbdf85f1642ea604ee30fdf7e3322f8ee8a13bbf0a2bef26260
spec/system/test_get_type.rb10064400519 Bytes8c8e4fd162abbb453d1bd0ffa5f214a8885b7bd6f37c0336e53d0ba75d938ff8
spec/system/test_initialize.rb10064400141 Bytes322d48ae2c61f5bd916a9ba3d299e19ea67c765f490fcb1032014b886c6e3cbe
spec/test_finitio.rb10064400150 Bytes1667862525d050739a2779b6010858925cc481ba0b21fa0273bf719beffa967d
spec/type/ad_type/test_default_name.rb10064400200 Bytes0b3b8e760fa997a780415d25367e2c74e919228b24a1b393d1a09b8e03ec0c7e
spec/type/ad_type/test_dress.rb100644001.31 KBc472165891ca7c1ab1aa98c082dbd99e2c5d02cfd934c4da591dd703ae486d4d
spec/type/ad_type/test_include.rb10064400354 Bytes67ca881946d7a9cf6aef67d72a5398f209e156a9111b2101d14623b1c6169ee4
spec/type/ad_type/test_initialize.rb100644001.04 KBcc81be1c995efcf981d71620e39c715da656192dbc70e16a873993cfb51a30c5
spec/type/ad_type/test_name.rb10064400340 Bytes30f7bd8f0d854864cf7891cd190582b5ba0d9212b5553142006c61c3642c0d1f
spec/type/alias_type/test_default_name.rb10064400191 Bytesf276df414024c0bd5db15e03d2b1e4b7b66a77f3bf85eb00f37362b1ffb52686
spec/type/alias_type/test_delegation.rb10064400613 Bytes5cd2da4c2ca996e60e8613ffc9f1848d988e2a6e125c289fa0ead2408e9aaafe
spec/type/alias_type/test_name.rb10064400175 Bytes43ab4ec54ae38e6e62e396cbc0e044d389343d87d8c3cd1eb74cb893f3c7f492
spec/type/any_type/test_default_name.rb10064400192 Bytes88156a334badc5e4a175ca2ab51d9c7bd2eb3002997fbae021cf0c7e0ad8a5b6
spec/type/any_type/test_dress.rb10064400319 Bytesb98d47a2d947ebbb3396705226caf0ccbc1f2fafa541d66dbf5d26d7975501d0
spec/type/any_type/test_equality.rb10064400637 Bytesa8c4afee68ccaefc337a90ad92085cb27ea8a1233a8049fcccdb11c0227a3adc
spec/type/any_type/test_include.rb10064400328 Bytesb06c571b432b3afe8d5f682fe6021672f2a930044e53f6c0352a783e3cd0fe88
spec/type/any_type/test_initialize.rb10064400147 Bytes151b3c9927a8891a12a64058e1c84ef04a5419c2f20c7e4c6830397b541fbc45
spec/type/any_type/test_name.rb10064400429 Bytes4dabb556738a4d9f3b9d6375193fb8d22e47fa344acc393d5486f772b2914efc
spec/type/builtin_type/test_default_name.rb10064400230 Bytes03375dbc5fe8a31530f6da106d372ddbaadcd3033b20499b9548d2de49b956e1
spec/type/builtin_type/test_dress.rb10064400621 Bytes15e2b4985cc85467c6ee0cda29aed1ff2ca59a17d0c22b9dd1d5e9f0be6a1249
spec/type/builtin_type/test_equality.rb10064400660 Bytesc6985b11432d3c2599ccb87b2be401b4b420faf4f36d4f2fd4198831a4ea0b79
spec/type/builtin_type/test_include.rb10064400354 Bytesa275efca0f83125fcccde99a80078101581c69859bf7d4fcf82e41e55d109d80
spec/type/builtin_type/test_initialize.rb10064400227 Bytes112c5a40a47a1f10b4d272d5f447a98fb70e4c7fed3d47e0bef1188d0a938709
spec/type/builtin_type/test_name.rb10064400463 Bytesf56c02e02d863a835b0792e816e749c155055b4c63cb82a0dc9c2f26d34c20ea
spec/type/multi_relation_type/test_default_name.rb10064400354 Bytes551dbeead4ca4e99dde408dabfe781f9cae6d739ac72b59f823f1b165c848353
spec/type/multi_relation_type/test_dress.rb100644004.86 KB94b4db2ea4fcdeb45ec1cdce4d04bfdcf96817db53ccfcb8008de1a465729776
spec/type/multi_relation_type/test_equality.rb100644001.21 KB322fd1769278ab429fb890cbce480766d204168cded1134d11de2cf64cffa1c8
spec/type/multi_relation_type/test_include.rb100644001.59 KBff97bd646f92f4452dbf0f15840412d8763f66cbb0967d48bbda2f3ea2808ad3
spec/type/multi_relation_type/test_initialize.rb10064400621 Bytes84dd95a327a094caf20b49c0fba505d25f9e7b87c894898e1b3189b13337fef5
spec/type/multi_relation_type/test_name.rb10064400519 Bytesb47e378a58b1321e32ceb272b43e3cb422bdb4a6b01828b63d1aa157108199ef
spec/type/multi_tuple_type/test_default_name.rb10064400328 Bytesdae55fa9705bcb09e7f424954fed285638d19472526bd9fd38cd327aca157a9d
spec/type/multi_tuple_type/test_dress.rb100644003.59 KBfd4fd8865accd450b782876eb1aa24c3940b2178fb792b4541b276afa309574c
spec/type/multi_tuple_type/test_equality.rb100644001003 Bytes20bb6274f8ea37ed77f593f99ff44eb14a3b334908a8906eba056b7f433442c1
spec/type/multi_tuple_type/test_include.rb100644001.57 KBa98679bfa84673600ba36ee934d65d9469f4277a431f1b77bbc8de5a77142985
spec/type/multi_tuple_type/test_initialize.rb10064400651 Bytes3d499f3cee10124ca9ce9a9d3aa9a3ddfafd738cb01e7597e271ef195245062d
spec/type/multi_tuple_type/test_name.rb10064400448 Bytes2abd1ca5c7428ec2d32b72a60ca649647aae3544ee4228d6be9529eba0caadf6
spec/type/proxy_type/test_delegation.rb10064400816 Bytesf5fc34081ead137fac1d5afe9496caca5e85c15679350001c14d88fb5c6341b9
spec/type/proxy_type/test_resolve.rb10064400569 Bytes5fd9f8185c5ff51eb9bd41450be15edbe95ab013820f129e6171a276cfcc41ff
spec/type/relation_type/test_default_name.rb10064400277 Bytes04a5ce074fa83dcb13dbcc76ffda1ff7c336bd5312796c175384524b51847110
spec/type/relation_type/test_dress.rb100644003.81 KBe00d2ee4047d1045a95e082567f303cef2a38b6fe12eda5dbeebaf48f7cd9750
spec/type/relation_type/test_equality.rb10064400981 Bytes479935fd64c2c0dfd08e5af93eee8b35ce5d0341b83347a30abdb5d9aaf44e58
spec/type/relation_type/test_include.rb10064400779 Bytes7db1babcb3f50f57051e21b5ce8e61403c46a04b347a501764703d76bdb1aac2
spec/type/relation_type/test_initialize.rb10064400542 Bytesfa8ef9f27e0bfa2d7f2db87ca5ae759b9652dde0b26464e67240d1ac92ba4938
spec/type/relation_type/test_name.rb10064400437 Bytese8fb7fbb2dd14d2f4b66c840d54e46e9a310306a672c5f30f652858d13ef83c7
spec/type/seq_type/test_default_name.rb10064400211 Bytesdebf5930b9e7f7627e7ce953ed3a7819778a1b6456da7d98033d5996594a0f53
spec/type/seq_type/test_dress.rb10064400944 Bytese26d1dbe3db37ad89b85ead72717787f6708919942ac2cd428c64942f6fea91c
spec/type/seq_type/test_equality.rb10064400623 Bytes0d092372f3d9ac31952084dcb4be1b36fb9fec5638ee6e34b7b862a15b4b3e2b
spec/type/seq_type/test_include.rb10064400691 Bytes8a7a97ca7dd402e8f6b868952dc4ceedc1867e9011845672c63ded122dafa2ee
spec/type/seq_type/test_initialize.rb10064400561 Bytes76d6f21696b09f24a5f5433bab52a92e9a757a2de3d214fe5d8375257d0b8d9a
spec/type/seq_type/test_name.rb10064400373 Bytes32764589d89662beb2b9083a3577e5faa50f7547b91c0d16803f1bbf4124ff19
spec/type/set_type/test_default_name.rb10064400211 Bytes720227d30ef4df112b8208d99916de4137c0912e473dc073c0e86a7f0ff7cc49
spec/type/set_type/test_dress.rb100644001.32 KB40cb1ccaabf7536d526b66a3a37f2fd4d613abceb1fb0521900530ef265f2f79
spec/type/set_type/test_equality.rb10064400623 Bytesebd92753a3852a0cdd9d67bf089db464078cc58458bc25c1763bb47af4a1f02a
spec/type/set_type/test_include.rb10064400691 Bytes45cc2f494242e0eb64006b928e2dd0f1e7f0c8fa785d516f5e72975c79c3a9f6
spec/type/set_type/test_initialize.rb10064400561 Bytesd9e9310941de36707b171f284c9cbdce691a5ea7f2e8f608f59858ac072ac03f
spec/type/set_type/test_name.rb10064400373 Bytes55bb7b43fce4200a94a92ecd28ac2ac781eb1be26f056000109f9d2837a73077
spec/type/struct_type/test_default_name.rb10064400200 Bytesa032c9833b1eacc71ffb926bd0c3d3ddba0e81e45cd67e9026c24e52f61453be
spec/type/struct_type/test_dress.rb100644002.31 KBfe1ebf539a8f5adb81b433ddfe4805bf259deb2e5cc3f1bf9cd4e853a64cb6b9
spec/type/struct_type/test_equality.rb10064400768 Bytes3b556bbd18e4fc611b351a78d40b44e96456c6d13af05533f3a5df422c5a8703
spec/type/struct_type/test_include.rb10064400767 Bytesaf85029ca43e6b5eb302f6cc0be2e3d507df8865fd1630dea0229082f6cb28b0
spec/type/struct_type/test_initialize.rb10064400464 Bytes9c3c430285f1f1c9b6cebf910749b963f5fef61e6c082a77c3cad3089af931bf
spec/type/struct_type/test_name.rb10064400366 Bytes505617718d0a9cea50fb1467a72852e2befa159ad4bc6656dbefbd4d45f7dfd6
spec/type/sub_type/test_default_name.rb10064400264 Bytesae055c77f6f4237681523e6de7a94127f86cd525f023f238a2b62cbac7648757
spec/type/sub_type/test_dress.rb100644001.74 KB6671fdd210a9c53eaedbe89126270170e25997aa846658bd519eea71c9f0b95d
spec/type/sub_type/test_equality.rb100644001.17 KBf89dfa72812f546861aa864afb84aabb66457b92e2cfd294b386c6677c3e51ad
spec/type/sub_type/test_include.rb10064400600 Bytes4373e6c9c8e0ddb0afa752de27c283bf53537049b2893af9ffcf9ab5d85e3cdc
spec/type/sub_type/test_initialize.rb10064400296 Bytes4a5a43a0efeb5cc3740d2f6fe4433dd640286620f6fa1c3456afea2e74bf91e2
spec/type/sub_type/test_name.rb10064400484 Bytes6513daf9c3a3406a73e1cab5ded787d49ecf26257b05eee9bcad1e4956322178
spec/type/tuple_type/test_default_name.rb10064400245 Bytes9806505210a7e8b71bbdf5047a0d6a3d144a99d01fbee35020050f113b947c1a
spec/type/tuple_type/test_dress.rb100644002.64 KB0f8e93032f623accb73642ddf3457c3d1280dfcb5268814e4c1b4de155233d85
spec/type/tuple_type/test_equality.rb10064400969 Bytes631ea68c612e7626bd07b5abd0e34ee65526eea041aa5aa01aea2be4cd5317b7
spec/type/tuple_type/test_include.rb10064400712 Bytes293d932c7282366aca6dd560cadf8966a8ea92266f8343393adb8f39d9cb5110
spec/type/tuple_type/test_initialize.rb10064400632 Bytesead5686d00bcf6f21f125640a8265bcc6bcd1f05044ec33c61964442d099dad5
spec/type/tuple_type/test_name.rb10064400424 Bytes10e0c1ad8f2b53618bf88efac18a90fca961418d91b6b4d641e0c25654f457f2
spec/type/union_type/test_default_name.rb10064400219 Bytesd43599be1aae0e3d83325598d1fc1097d60a1c4ac0013b652eb6782524acd6e8
spec/type/union_type/test_dress.rb10064400895 Bytes32c4a3a9596a305113621e07a32d6c181b11529975c6d62867ec7d0cfca14308
spec/type/union_type/test_equality.rb10064400880 Bytes08015bdd6823fd98176387446bb74c6c6521194553582fc9aee1070c68bab21e
spec/type/union_type/test_include.rb10064400472 Bytes42d02433e02574e24a43fcc7349d50f08c6b49d7a3f7f8378bdf2196b98a70f2
spec/type/union_type/test_initialize.rb10064400561 Bytes23b6b36fb903f1ea19d1fbc461007f980f96c6ae983e72aa2026d3cedecdc877
spec/type/union_type/test_name.rb10064400387 Bytesdb1dde8b99ff51221077eb9d2ba300c33cebc7fa530908eeff77f910b95202f0
spec/type_factory/dsl/test_adt.rb100644001.15 KBa7290051af30dc8c40ee546bf1ae2bbe5497eaef5b107a8f64c4de17f3371006
spec/type_factory/dsl/test_any.rb10064400459 Bytesc4351acf13b78a8dbde7bac4eb441016548eccfc1c601f07d54ee4f1c81a5fe8
spec/type_factory/dsl/test_attribute.rb100644001.02 KBd535c589f5b9d00e619ffb469c9dce5003c406537cda7ccd692fdd424c8826eb
spec/type_factory/dsl/test_attributes.rb10064400959 Bytes6c0880d430d8168e8c10e0a7aebe40e01ba3e54475cbc921fcc916ff0e3b89dd
spec/type_factory/dsl/test_builtin.rb10064400931 Bytes14bf23b676199b2a148d3f50c7420982f23de16669e9aefb9f3502b687f8c372
spec/type_factory/dsl/test_multi_relation.rb10064400785 Bytesa1e22f61abab8ed79638bec566c74c6f1e3804b1cf8af06bf3b433c4d3d87c2c
spec/type_factory/dsl/test_multi_tuple.rb10064400750 Bytes95c772d5f28f638fe12f3ae90d12c69b7003737cd33eb782773fe201cc546a74
spec/type_factory/dsl/test_relation.rb100644001.86 KBa384c221029483175aa01183969fdeb76b7b9c23c16fd69b6fe3caf4d88f8db8
spec/type_factory/dsl/test_seq.rb100644001.11 KBcbce2d6223010b5b978413b07bfd68e92d940d5cfe604b543d50132f09a2e634
spec/type_factory/dsl/test_set.rb100644001.11 KBb0b0a08f4253a915635d59bb69de0322540fe1ce3edc28690f5584b160314e15
spec/type_factory/dsl/test_struct.rb10064400976 Bytesdfad37f616a4db744187094d203e03e81fb7da24562110bdddd42651d31051fe
spec/type_factory/dsl/test_subtype.rb100644002.09 KBbd6d717866828569bd4f31a5a89688ea79cef435309f804684a30bcc5f47a487
spec/type_factory/dsl/test_tuple.rb100644001.52 KBf70694515fe5a9480c588319c95af1566997d506da6bf4172c8c5b2b0042ab7c
spec/type_factory/dsl/test_union.rb100644001.8 KBad1fbc85938925cac14416f68abcd9383574f33139cafe8c6307160c827398cf
spec/type_factory/factory/test_builtin.rb10064400493 Bytes6e80342c98fa45a04988807c86740a5a40de4a31f243bae52cae829d12cd2104
spec/type_factory/factory/test_seq_type.rb10064400934 Bytes1a9e132fc4e3ee38ee529fda15bbddff55d88a55f0047308bf8b22147e791b79
spec/type_factory/factory/test_set_type.rb10064400939 Bytes2dfbe56728c041561551711a386cd42d1b367713d91008132271f03fd3262005
spec/type_factory/factory/test_struct_type.rb10064400402 Bytes76612f190f339a4cc98bb0901e88f16b3e4246b3feb726323f125eeefcf35cf3
spec/type_factory/factory/test_sub_type.rb100644001.25 KBc6317e90a09c174958b37250cc295cf31698bb5fb24388965e81c0c826abbf69
spec/type_factory/factory/test_tuple_type.rb10064400989 Bytes8a100536f6c05fe1b2313c987458db28c05938f23c8fe1a72d66e0431f9b76ff
tasks/gem.rake100644001.97 KBc1364f9d91cf3005dd991b6a76fa31e742b581b3e1cd457d75931810de67b255
tasks/test.rake10064400667 Bytesc9257af994a5b633a8440aeb5cacb4afcd01c4139b3cd672e179b3e6674a3998