finitio-0.11.3

https://rubygems.org

finitio

quick gemspec

.gem

.gem metadata (gemspec)

.gemspec

id: 622545

number: 0.11.3

platform: ruby

spec_sha256: b9a2a94c09e64c2a3e8dbb70f38b61459efa91b4eb7f10452bf1cbfc8e3035bf

sha256: fb6ccfe497d0a31d9da9598090dd705d67bde2a7d3dd7dac53f00addbce10f2a

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

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

position: 2

version_data_entries_count: 320

uploaded_at: 2023-01-06 12:38:43 UTC

indexed: true

has_extensions:

extensions:

Gem size: 65 KB

Version Data Entries

Total: 320

Unpacked size: 306 KB

Full NameModeUIDGIDMtimeLinknameSizeSHA
CHANGELOG.md100644005.06 KBefc46be63a01d7e8f4ec7b010c83e69591bdbdc0b0b50fb74899a0d7631b73ee
Gemfile1006440038 Bytes3fd308fbb44b5b39f8b5f6265d93dd2d73023007aef60d3364dd8b2e5a8ce1a1
Gemfile.lock100644003 KBcf941850f40225ba6402ccee6f3c26024551b6d6f37c24a87113fd1d8039513f
LICENCE.md100644001.12 KBea8c2aa2fb1eb5f43333c636ffccbb67067245d3ee2189fb63297f325a4536ba
Manifest.txt10064400123 Bytesdc67663767266bdd166ccffa6486eeadedeb5a1293fffad603c36301fdd74312
README.md100644005.45 KB669ee5dafdda6629db1e06fe04d0c206ea89c595b4f4fe4f7d859ad316da4a3d
Rakefile10064400209 Bytese245a9f226733d44bc843fde92c0fbcb12b227152470ed9bd49d5892498e8fd9
finitio.gemspec100644001.42 KB6a28ad3dd2597efc83d78c7abf51250bf24dd4e4548939faa4ff1b9ac072f3e8
lib/finitio.rb100644001.49 KB572a44d5b92a87f613e061633a1d97afe6f9bf6ee86b9dd140b202942b801ed1
lib/finitio/errors.rb10064400742 Bytese18af6ab62a4d5ff6121128059e1fa50ed2dcbffc674b40b2076bc24704094de
lib/finitio/generation.rb100644002.63 KBe7c7ac4d94a6e33313fb5f276fa31ee92d5615a0d8bdfac2d6e0f7ec7e0dbc29
lib/finitio/generation/ad_type.rb10064400232 Bytes041b6028480f4d30cb6849e2b6d480623db7323d50556d219f2bd9517166883e
lib/finitio/generation/alias_type.rb10064400170 Bytes5690103c276b716bf12c662e91fb4cd6c677c69e050f7323a614e065d82ac81b
lib/finitio/generation/any_type.rb10064400290 Bytes477d8079c9990717b7cfe6c1fde36d68c43c4d1230d656125c598f8d236e1901
lib/finitio/generation/builtin_type.rb10064400198 Bytes01ef3ebf5067181ce05c4c4b595ea34401e7b9e9d2a3920c9c8eb460c942249b
lib/finitio/generation/hash_based_type.rb10064400328 Bytes150abb2083c2b59fbf1b4bd91ab0f90093213e1f391871272b70f360362ec360
lib/finitio/generation/heuristic.rb10064400200 Bytes2eb7a5eca2f0337eb25b9f13b7227c01a3d2432b3a4d4ca252f763bcb2bebf8f
lib/finitio/generation/heuristic/constant.rb10064400749 Bytesce05a4001e1e980f0bee4806a4a042c65b3e74bd20abdd202331b08fc4a9b649
lib/finitio/generation/heuristic/random.rb100644001.2 KB14a6cd2fdfcacf91a7beb68267a3a6d3bb0b709c6b9158505dccb8b0afdd9692
lib/finitio/generation/rel_based_type.rb10064400275 Bytesb5935f3dfaa509c6663b9d250b4673629eb49bde7a65f35d207e310024e3af39
lib/finitio/generation/seq_type.rb10064400256 Bytesbc6c07f6871e6215c8514f2797b25f8d80cd43c028f25663820bb9fe68e35a7b
lib/finitio/generation/set_type.rb10064400261 Bytesd6a580790f77fb6219dd01641cfdf28e16ecb14cfd40e56cdcc45cbd60c7c4a5
lib/finitio/generation/sub_type.rb10064400170 Bytes7892e6f7cfa3969057b6669bb2610a4884fe6c2abeeadc69ceb976cf521a204c
lib/finitio/generation/union_type.rb10064400223 Byteseedf772ab1668c3a2f37e6d99a3c8f3a956b6df85d6cfdbd3f36d987a918a0fd
lib/finitio/inference.rb100644001.15 KB42baa39f7d80332db4436453e5aa26b772f597f9489255fdfcdc27f445754fca
lib/finitio/json_schema.rb10064400625 Bytesebfb68b5ad1ce92c94cbffdb428ade2440b17d7558dd1ee218cf348e6ae0e8c2
lib/finitio/json_schema/ad_type.rb10064400206 Bytes2f59039111636b480c862f353fa3209fd8e9d695ba9351c5674526dac1f85c93
lib/finitio/json_schema/alias_type.rb10064400163 Bytes697b84045a6b67809ef8c28c5e6c803e49e616b1285558c75c7575ed8e06e15b
lib/finitio/json_schema/any_type.rb10064400128 Bytes01e20f94cc6cce4b73c7586945e95a96b9a94ffb98e7b153c66622bd3b8dd29b
lib/finitio/json_schema/builtin_type.rb10064400684 Bytesfebe4400a568df5e1181cee11153f187a9dfd288d526949bf165f2971f0c911c
lib/finitio/json_schema/hash_based_type.rb10064400630 Bytes74a0807cf2a8882e52ef653d01780d6b341f1ee70bc3cfbe35623164bd5f7961
lib/finitio/json_schema/proxy_type.rb10064400224 Bytes39d9f5af7499e4c170037f873bf0ff48de0ed4c84a39308c15a960844142afa7
lib/finitio/json_schema/rel_based_type.rb10064400250 Bytesbaabacdfc035c92db3306f3dcda99040806dff42ca69e7fcaf3faa4437ec6dd5
lib/finitio/json_schema/seq_type.rb10064400209 Bytese365570e8d995ecce3a64dfe3599bb7a3ec937999e55e1c2451845167cab745d
lib/finitio/json_schema/set_type.rb10064400236 Bytes9590c15e99d7d4805db51e5b89f0fa40e5cfebe6b6a239a1ebb3ccfc48b22f65
lib/finitio/json_schema/struct_type.rb10064400234 Bytesce12df18db0e409b9d104941698c0271b54c6048a7f4d992947809a035c22e1d
lib/finitio/json_schema/sub_type.rb10064400213 Bytesf185ceaabc907d6d9f8ba530734d252123b2509532b2a0588bc3c5adde09352d
lib/finitio/json_schema/union_type.rb10064400558 Bytese0bc3bc1e3e1d8806d213fd383755bbbc544d6a50af1905898f4b16ed818ea58
lib/finitio/stdlib/finitio/data.fio10064400756 Bytesc227e0d4f93c1a6082bacdd1aca300faa77c954da5a3c0c0c28a41eb85356c46
lib/finitio/support.rb10064400742 Bytes5bac8d88c5d97698bfec0e4a5d8a873f451ce5b91690993ecbba46518850bf3c
lib/finitio/support/attribute.rb100644001.78 KBb47d6806c46fd3052034fe3735531183f7d9661154cb1bcdf019cf12f70a539a
lib/finitio/support/compilation.rb100644002.08 KB3ed66fa31155feccb975b8a264a0db8a183fb4913e535d4ed777b055b296aaee
lib/finitio/support/constraint.rb10064400877 Bytes7b789b830937e08d63bab54c0aacc6c602a71e0e27cc16b172da2596894f3154
lib/finitio/support/contract.rb100644001.5 KBdbc80ed497ab24f092ed104bc241a44ec07f2a1e135882c294c3055d8cccc186
lib/finitio/support/dress_helper.rb100644001.28 KB2b9b637815ca158dff59e68fa2865d1d5517d2c807c2cd7169614a2115c35be4
lib/finitio/support/fetch_scope.rb10064400354 Bytes177811557164c30085bd280defd457791e2c3df82b983fd6c884f90a27b33b00
lib/finitio/support/heading.rb100644003.85 KB16f3efbfdfbc8cb44f061ab3e897a72bdeb9bcdfebfc9a3ad088d9f77f0b856b
lib/finitio/support/metadata.rb10064400357 Bytes635f6ad3806875263ac1e47dcb4df2a259fcc651e838e8d03b70815724d55ccb
lib/finitio/support/proc_with_code.rb10064400675 Bytesdc7af091c7da0d2f5b1d67a9b36570e3e84cdb0271dfac3d9fb49ff4dc7fe186
lib/finitio/support/type_factory.rb100644007.21 KB4f94556363df05e27a859aca8ee6ce654ac82c4a5c36dc0b069425a16aa42ed2
lib/finitio/syntax.rb100644001.16 KBfbddfcb8370d794b2963f7762223d16509211d88044081b193cad538bce76eb2
lib/finitio/syntax/definitions.rb10064400354 Bytes0eb7af6d2261bd65778b0e57f518e03b68ce4795fd9da5791e486dd80fc682b3
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.citrus10064400703 Bytes5ea404912662b63a528483fcba808f1a99e99b1446d75d45caccfc137e2744dd
lib/finitio/syntax/finitio.sexp100644001.36 KBfaf8028b6a99456e428822869a1fe19269faac748a1ecfa3ebfeaa1584935dfa
lib/finitio/syntax/import.rb10064400403 Bytesc405f414788b093015046005c323b04cb4da9291f7cda286fd0dff99d488a8ee
lib/finitio/syntax/imports.rb10064400355 Bytes4c9878df575755fbc210150b40fbb90d5f1f52b7adc73de8c5c88e9b2792a5bf
lib/finitio/syntax/lexer.citrus100644001.09 KB7335aeac219ad4be4f8829a8949d2ed3eb3e49aa13cfad298dc420a0d93e9dc3
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/system.rb10064400602 Bytes0514e806a9a710471f3efd1f808ca33324fad31b24181ea261e9818ade51065d
lib/finitio/syntax/type.rb100644001.03 KBe2bb4bed42a7d992406d1a57dffe00c424e55bddd28dbf6154a678068303ffb2
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/expression.rb10064400226 Bytes6108a73ed359ca71ec659195ca4f1c6ae0f84f5c5bee9d093813fd8df37702c5
lib/finitio/syntax/type/external_pair.rb10064400415 Bytes0601322011046cd134a997daa6eda93647c8a1a7a131df17aa34df9a4009cba6
lib/finitio/syntax/type/heading.rb10064400740 Bytes44c3e85e87d8314f606be2417130d13178b3022313a3c892ce8560ab34136211
lib/finitio/syntax/type/heading_extra.rb10064400377 Bytes2e5f3a8b255c7bfbf842604024070c0804ed7309089cee334ab3c9897044fbee
lib/finitio/syntax/type/high_order_type_instantiation.rb10064400733 Bytesecf97810494b0537921bc1ba4f5c13402cf93091912904c5d6f770ca573ab209
lib/finitio/syntax/type/high_order_vars.rb10064400339 Bytes586a06fb7f69f6023fa1c3016acec377d3aeafee7308740d3fb91dec63f6fc46
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.rb10064400544 Bytes22405ebbc594d030c1bb62f142dfce8e7954e84020f12ade32a4863adf2f4c4b
lib/finitio/syntax/type/tuple_type.rb10064400415 Bytesd36ecfe706d381bcd3ab832739771c9952be912bec96899f1a268f228829bf5e
lib/finitio/syntax/type/type_def.rb10064400719 Bytes1f761cf4867551118e9e8b95f60abbd723caa63cac2a607be54d35f61ccc9f09
lib/finitio/syntax/type/type_ref.rb10064400350 Bytes62dba5495e1d8ef3cc2e944a1826a1c1c8f46affea952fb1c113289e2d1dbeb4
lib/finitio/syntax/type/union_type.rb10064400435 Bytes39b9b1bbe6204f71848506f8c703f2ff43277c29b288b38ea732cecc11d49fbd
lib/finitio/syntax/type/unnamed_constraint.rb10064400493 Bytes3e75b4d443ff25eb4ec77391237c3902e641899383bd4010141aedb7e99f1ed5
lib/finitio/syntax/types.citrus100644003.98 KB7c25243946b4643dda70be00815fbe344472455b7d20d614e576aaa7c0cff479
lib/finitio/system.rb100644002.77 KBcfb3918ba52524f87ba1fe3ddf4c7b12b35d1e254eaf884edb80b9e80e4ce71d
lib/finitio/type.rb100644002.82 KB2df5b751ef1ecdb1f05cd911fa0039eee28b7e741cca026fa8292f85ac217fb5
lib/finitio/type/ad_type.rb100644004.67 KB71529076ba6eda40296f5aa1abf5016dbe9ff6ba9aefef6ccaed75ca5b243e4c
lib/finitio/type/alias_type.rb10064400910 Bytese69ea36ca6456ec2cacee9b137033456ceb5e91d6c7a0cc7d5173b02772cd393
lib/finitio/type/any_type.rb100644001.14 KB34ea44d041ada416f479fdf6c7f321125cd4cc8e89c9053223ab9fe9b7d061a7
lib/finitio/type/builtin_type.rb100644001.53 KB6a6380ee92eb0cf2d0130d51b7b503dcec18ef6ad104f13ae860f6e59d7cd57c
lib/finitio/type/collection_type.rb100644001 KBde9e4ce7c5e018e74962f207f918899f8fa789d62b2cf9de54ef13e7357dc982
lib/finitio/type/hash_based_type.rb100644002.81 KBd5942bb0602b7e695595cc37514de3464c03a8ef8f7e5064f3d760855ddfb326
lib/finitio/type/heading_based_type.rb100644001.17 KB203f7f926b549485bac359510a480d43c1741c5e2b86505d76c6af2daa0bbef5
lib/finitio/type/high_order_type.rb10064400891 Bytesa47dc7663c93253983c84a164fa3ce28c0315112225b35076937d492e80c9fe8
lib/finitio/type/multi_relation_type.rb100644001.2 KBd08d30ec39ff0d68dda9bdc92a8b5332223021d3650ec9623ce331f330e4442c
lib/finitio/type/multi_tuple_type.rb100644001.03 KB559dcc4b8be4a53df6f1eafbf629cc6f1bae2a3462f217969027119beee6f6db
lib/finitio/type/proxy_type.rb10064400732 Bytes558fd1b16f68f1dbc1c0c676b5b890e7099c6fef56ae6bd665a3095677d28b26
lib/finitio/type/rel_based_type.rb100644001.05 KBca4e44f49bda298f75b7bbf65c44ba1a5a96b1db2235f0648109384ccf00b4a6
lib/finitio/type/relation_type.rb100644001.33 KBceaff52179a9a72fef13b2e5d3ef66b7df4a493c5e806463e988f5cd344dc5c2
lib/finitio/type/seq_type.rb100644001.61 KBb5cb1e18d6db8002d2d2866d0e3b5465b836241dfa17bf7764c9c05667519838
lib/finitio/type/set_type.rb100644001.65 KBff15c9b8eddabb4d9e2b6c24e0eb628b631e35fb92cb12b0b8841aee9f0f4f07
lib/finitio/type/struct_type.rb100644002.76 KB7cf54f32e893b8499712e232fed494bedcf4659e44109b7f12ccd3bab952de1a
lib/finitio/type/sub_type.rb100644003.01 KBf0c84126c9cd4399e3e198859652cbd1806f4d54b81cbcdaff3f46fb02c1dc58
lib/finitio/type/tuple_type.rb100644001.63 KBfa710f67c9ed43e3d5788d3a7bd41e29c1e62e9084e3cff07d3dc5159a5bf458
lib/finitio/type/union_type.rb100644002.85 KBe2480699e35aae6405dfe8a8643c5782e824b44c0e07085e175b3fc789b9bf6c
lib/finitio/version.rb10064400178 Bytes75b50b87ef291f3e81ef4708ae846435985d2b4736483ff909e2ba45e7b0ddc6
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_stdlib_memoization.rb10064400568 Bytesf727156b7cc97ad9aa6561a8112f58e7decbfa3f3ec052703ea1c9bd76b27d80
spec/finitio/test_system.rb10064400685 Bytes6885231981bb5a3138be3a0030e3d00c9b99ba86c2c99f4542caf3cbb757e1e8
spec/generation/test_generation.rb100644003.76 KB4fb71543e86a975dfebf26b9e95953f7c6c2181680fd124885ac3b37a138dd6f
spec/heading/test_allow_extra.rb100644001.14 KBe22cd3be58842dffe369ea08a4efe20d86beab9d7554dde9ecfeb069b59c690a
spec/heading/test_each.rb10064400548 Bytesc9ad86ada112e738fa47d2e122ea9c4720e0207016e634ea0216d7fb7ee35227
spec/heading/test_equality.rb100644001.26 KB19388080766285471765d4d642daeab161953f2800af284c940f099c969e0f58
spec/heading/test_hash.rb100644001.38 KB1ce1924074b2c8cdb6aed8b3622132a8275b9904d2852f86eda93373fd05fb45
spec/heading/test_hash_get.rb10064400315 Bytes7f05ec7e5878ddc73a1fd37dd796e81cb45890cb236465da82b42173291d0e0d
spec/heading/test_initialize.rb10064400709 Bytes684b1f063747ac0201d53435576bdbaf89ad5ffd265c049cd9b3347624384fdd
spec/heading/test_looks_similar.rb10064400920 Bytesda7d3cde9ef3af99eaf083731912f9e1eb3d4d08ab2f48624eb8bbac5127b9bb
spec/heading/test_multi.rb100644001.13 KB6b5850335a87730f1cde4b5eded4c4155e8d0b9ce43c96f73bfe2474862a06ea
spec/heading/test_size.rb10064400585 Bytes7991246b8551c2df9ced33e66bab89ebe5c0602f848b333d3677b363fec6db28
spec/heading/test_suppremum.rb100644001.39 KBdc9f2b8cb935d6e3f16af4b3fd5fc4d0d4ebb9782d9d7867a3d5984c234add7e
spec/heading/test_to_name.rb100644001.35 KB3fa0d4256c63a8fbe5499a824f360b0621397404231eb226cc88001377ec459b
spec/inference/test_inference.rb100644001.54 KBe0c502b07d8d5f8caf73b06fea812cd7fc5584955ccb8d3165ee9ee5c61d45f8
spec/json_schema/test_ad_type.rb10064400364 Bytes6f5c6c3306c6ff6143f61f309ca5e469313ee2564c9a5cb6ce48d594a71412fd
spec/json_schema/test_alias_type.rb10064400248 Bytesf01d24233094e82fb45809107b076bcb39a4bbc729cd21a9ef1d27549b84ad02
spec/json_schema/test_any_type.rb10064400173 Bytesb6df4b6e51d68da399792863c186fccf2d9b389804ef834ad0637eae18ec7b13
spec/json_schema/test_builtin_type.rb10064400992 Bytes644a304f2e2bda1ee4037f3d40f5243f163d8d5a8840efe909b1292043a14880
spec/json_schema/test_multi_relation_type.rb100644001.37 KB3907d9e8dc3d7081b402853ca1d3449eeba6cf47a6bb4cb9e389d6c66ff61bc5
spec/json_schema/test_multi_tuple_type.rb100644001.15 KB987db0efeabfb7a04d20e666cdf4505a47ba957049383585691abbf183ce60e3
spec/json_schema/test_recursive_type.rb10064400981 Bytesd8d94c4ca38683662242cd36daaed42a5bd761cbb3961bcf30b872560e9ca61d
spec/json_schema/test_relation_type.rb10064400580 Bytesb6a1a96475cb53367be604a82917728c291f6e123052e0c0553d4cc0ebbe7515
spec/json_schema/test_seq_type.rb10064400281 Bytes51e47812964079675ad787019d52a5753b081d9364c7e30c40c7841389a11a4d
spec/json_schema/test_set_type.rb10064400310 Bytes9c0163f3ae5edc0ef3c0e1cc5a24fa416d23ce43eab09a03ffdd292a439499e9
spec/json_schema/test_struct_type.rb10064400302 Bytes605f8414893ca74c07ebe65a22b70dd166d0293e558fe38f96ca5374b54b3f51
spec/json_schema/test_sub_type.rb10064400256 Byteseca885e918830aca2068c913d70755b180dbd6951146cc10bcfaa9d5aaf69ed4
spec/json_schema/test_tuple_type.rb10064400477 Bytes1758c60c4889c578e4cfdb63534d13d54ba6fa79d187a519e78c5bb6ca93e148
spec/json_schema/test_union_type.rb100644001.6 KBd582ce6e07d5f649a51a1c57cec7993a0f0141e32455200b2a810eaecbcb3fe0
spec/regression/test_heading_extra_are_proxy_resolved.rb10064400770 Bytes1a4213c6f399810bb4f9ce8fc56bd43cf624dbc5dba462b4a78b3055f6e59ed4
spec/spec_helper.rb100644002.49 KBaedf3508bfc8a23cc8ad722a6c65e87a2d2fe6ab2e7775e784aa701291035662
spec/support/test_compare_attrs.rb100644001.81 KB4e009aeb5e362cc6db8ed4a48a3b83145ca680cd9409d48e15a6ddb3bf0378e4
spec/support/test_proc_with_code.rb10064400655 Bytes1508b9ba3a2fecbe08053af5d7877638fd82fdfd3947edb4a2476061f292be27
spec/syntax/expr/test_free_variables.rb10064400879 Bytes85f1869931aad451ae5b3d9019b5209c38f1bee07c90aacac9075c38d673fc66
spec/syntax/expr/test_to_proc_source.rb10064400896 Bytesa31e884a491ad145b816570633602fcba85b5a587f238ec6beecc451d6d349d2
spec/syntax/nodes/imported.fio100644000 Bytese3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855
spec/syntax/nodes/test_ad_type.rb100644004.27 KB0c857d758c076136d0c106b2c4435615c9207907500feb1e558448844d619200
spec/syntax/nodes/test_any_type.rb10064400498 Bytes85f85fa6bf85eb0f6141dc082982f4d2eb39306437aa4cd89fc41fcb2f9411ce
spec/syntax/nodes/test_attribute.rb100644001.96 KBdf3decdf32138996f8c5ce2a95657451fdc92430c095a3e685a68f29fafa2f0c
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.54 KB2e38b310297cf63252bba5fb3f3c3b34d14195be61b626070b3152d24a293664
spec/syntax/nodes/test_expression.rb100644001.08 KB9f4858e352e4185995f1b8c433636250ddc5511b167defcc17063058df030879
spec/syntax/nodes/test_heading.rb100644002.82 KBe1a642a05758f9169bb151252d505cfe8c76b085a5c70f514fd28da40e2d47bd
spec/syntax/nodes/test_import.rb10064400972 Bytes5c5d6be1cf73f0b8c00e5f8b91fa7eef6f0cc651544e1a48a086ce4300dd9d6d
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.34 KBd636e0a87325bc33d8adb0e57bed5a1b92c43b4323f157ffcdce814fe7dcbee6
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.rb100644001.99 KBdc89bc0b91574b0517b0d184ec6c06a309b181b0264e659edfd70778ced91f07
spec/syntax/test_compile_type.rb10064400384 Bytesbb7fd1eb878d759cae1f85bdf821191f93140e5af800069c31acdc7910b3a30f
spec/system/fixtures/system.fio1006440062 Bytes5bb7ad49b6eb9bdfa39741222b4f461db5dc4302199a2864d26f01c62eb42cb3
spec/system/fixtures/with-duplicates.fio10064400123 Bytes373bfebfb980f114f8407242bc94d2b70862987a477ecf56614fa712b4f169fa
spec/system/test_add_type.rb10064400950 Bytes16d42653e1fa8a3766864e9017762edfec9a74fede3aef130c914a7a51e8ee91
spec/system/test_check_and_warn.rb10064400929 Bytesa054f69501b270ae35dc4906941a8f18cea4351b7ce9c29b63b177b5d43e4dd6
spec/system/test_dsl.rb10064400548 Bytes1fc822b8c804455af745ab7263c8ae7b60c33ca2ca9b90243ededa933eb1a770
spec/system/test_dup.rb10064400587 Bytesfa1c3a6cdea376218077c53da174b18adbb85d792f2f7ccd8b1775bba95c2f6e
spec/system/test_fetch.rb100644001.68 KB6f6fd6f67f5daf3ecd7fd19bdcf5de0b77a3f689ae7ca42bcd9914c798bd9149
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.rb10064400887 Bytescf5cd1c8490e8396f406b76f4eb42e8fe47f480add45fb75b53e4963fd88729f
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.rb100644005 KBf3fbcfbb35cad200cddd1c4802fb4caf0d8b68ec3ae37b5b2acb3760a79e65d9
spec/type/multi_tuple_type/test_equality.rb100644001003 Bytes20bb6274f8ea37ed77f593f99ff44eb14a3b334908a8906eba056b7f433442c1
spec/type/multi_tuple_type/test_include.rb100644002.21 KBd56a6720917c59f2f1632abd5e944a0d4cc03f0fcd14111d0d99d84224a645a1
spec/type/multi_tuple_type/test_initialize.rb10064400651 Bytes3d499f3cee10124ca9ce9a9d3aa9a3ddfafd738cb01e7597e271ef195245062d
spec/type/multi_tuple_type/test_name.rb10064400448 Bytes2abd1ca5c7428ec2d32b72a60ca649647aae3544ee4228d6be9529eba0caadf6
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/relation_type/test_suppremum.rb100644002.93 KB478c06df6d69b52bcd092fd27b8e3b5d56331baf1bb39d18532489e14ee9facf
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/seq_type/test_suppremum.rb100644001.03 KBde3f4e0725a8ac5971e7b21db1f5a4de959106d86a45e2c6813b4562ef3bd039
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/set_type/test_suppremum.rb100644001.03 KB2900f4ed503e6727679953ecd7a7fd14e93883ae1e2a5e43650cddd353c8d80b
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/test_suppremum.rb10064400808 Bytes5525d26d59176ae91ffe27235a6f39a95a9cbfbba7c81eb9a0f670b0af1fd912
spec/type/test_unconstrained.rb100644003.34 KB2e40f06c1aa3e8b6f16ce9cd4823f98944dc7c4da235db53a4804f080c1fd9db
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/tuple_type/test_suppremum.rb100644003.28 KB0338f053bf9d709b4f2baae6d0ad05f39959b969fd659f4dc1638118174e1ee2
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/union_type/test_suppremum.rb100644001.01 KB7413503928a8f96e0aa2cfcfeb0bb4ce3bcbf50dcc76305334aae6998c0b7521
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.rake10064400669 Bytese69145ff705d293aecb5e684fd8ebbaae5d60d0f6ef5a9c338aee1f02897344e