--- !ruby/object:Gem::Specification
name: finitio
version: !ruby/object:Gem::Version
  version: 0.11.1
platform: ruby
authors:
- Bernard Lambeau
autorequire: 
bindir: bin
cert_chain: []
date: 2021-12-09 00:00:00.000000000 Z
dependencies:
- !ruby/object:Gem::Dependency
  name: citrus
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - ">="
      - !ruby/object:Gem::Version
        version: '3.0'
    - - "<"
      - !ruby/object:Gem::Version
        version: '4.0'
  type: :runtime
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - ">="
      - !ruby/object:Gem::Version
        version: '3.0'
    - - "<"
      - !ruby/object:Gem::Version
        version: '4.0'
- !ruby/object:Gem::Dependency
  name: rake
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '13.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '13.0'
- !ruby/object:Gem::Dependency
  name: rspec
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '3.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '3.0'
- !ruby/object:Gem::Dependency
  name: cucumber
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '4.1'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '4.1'
- !ruby/object:Gem::Dependency
  name: path
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - ">="
      - !ruby/object:Gem::Version
        version: '2.0'
    - - "<"
      - !ruby/object:Gem::Version
        version: '3.0'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - ">="
      - !ruby/object:Gem::Version
        version: '2.0'
    - - "<"
      - !ruby/object:Gem::Version
        version: '3.0'
- !ruby/object:Gem::Dependency
  name: awesome_print
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '1.8'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '1.8'
- !ruby/object:Gem::Dependency
  name: coveralls
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '0.8'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '0.8'
- !ruby/object:Gem::Dependency
  name: multi_json
  requirement: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '1.15'
  type: :development
  prerelease: false
  version_requirements: !ruby/object:Gem::Requirement
    requirements:
    - - "~>"
      - !ruby/object:Gem::Version
        version: '1.15'
description: Implements the Finitio information language in Ruby.
email:
- blambeau@gmail.com
executables: []
extensions: []
extra_rdoc_files:
- README.md
- CHANGELOG.md
- LICENCE.md
files:
- CHANGELOG.md
- Gemfile
- Gemfile.lock
- LICENCE.md
- Manifest.txt
- README.md
- Rakefile
- finitio.gemspec
- lib/finitio.rb
- lib/finitio/errors.rb
- lib/finitio/generation.rb
- lib/finitio/generation/ad_type.rb
- lib/finitio/generation/alias_type.rb
- lib/finitio/generation/any_type.rb
- lib/finitio/generation/builtin_type.rb
- lib/finitio/generation/hash_based_type.rb
- lib/finitio/generation/heuristic.rb
- lib/finitio/generation/heuristic/constant.rb
- lib/finitio/generation/heuristic/random.rb
- lib/finitio/generation/rel_based_type.rb
- lib/finitio/generation/seq_type.rb
- lib/finitio/generation/set_type.rb
- lib/finitio/generation/sub_type.rb
- lib/finitio/generation/union_type.rb
- lib/finitio/inference.rb
- lib/finitio/json_schema.rb
- lib/finitio/json_schema/ad_type.rb
- lib/finitio/json_schema/alias_type.rb
- lib/finitio/json_schema/any_type.rb
- lib/finitio/json_schema/builtin_type.rb
- lib/finitio/json_schema/hash_based_type.rb
- lib/finitio/json_schema/proxy_type.rb
- lib/finitio/json_schema/rel_based_type.rb
- lib/finitio/json_schema/seq_type.rb
- lib/finitio/json_schema/set_type.rb
- lib/finitio/json_schema/struct_type.rb
- lib/finitio/json_schema/sub_type.rb
- lib/finitio/json_schema/union_type.rb
- lib/finitio/stdlib/finitio/data.fio
- lib/finitio/support.rb
- lib/finitio/support/attribute.rb
- lib/finitio/support/compilation.rb
- lib/finitio/support/constraint.rb
- lib/finitio/support/contract.rb
- lib/finitio/support/dress_helper.rb
- lib/finitio/support/fetch_scope.rb
- lib/finitio/support/heading.rb
- lib/finitio/support/metadata.rb
- lib/finitio/support/proc_with_code.rb
- lib/finitio/support/type_factory.rb
- lib/finitio/syntax.rb
- lib/finitio/syntax/definitions.rb
- lib/finitio/syntax/expr.rb
- lib/finitio/syntax/expr/arith_op.rb
- lib/finitio/syntax/expr/comparison.rb
- lib/finitio/syntax/expr/fn_call.rb
- lib/finitio/syntax/expr/identifier.rb
- lib/finitio/syntax/expr/literal.rb
- lib/finitio/syntax/expr/logic_dyadic.rb
- lib/finitio/syntax/expr/logic_not.rb
- lib/finitio/syntax/expr/oo_call.rb
- lib/finitio/syntax/expr/parenthesized.rb
- lib/finitio/syntax/expr/unary_minus_op.rb
- lib/finitio/syntax/expressions.citrus
- lib/finitio/syntax/finitio.citrus
- lib/finitio/syntax/finitio.sexp
- lib/finitio/syntax/import.rb
- lib/finitio/syntax/imports.rb
- lib/finitio/syntax/lexer.citrus
- lib/finitio/syntax/literal.rb
- lib/finitio/syntax/literal/boolean.rb
- lib/finitio/syntax/literal/integer.rb
- lib/finitio/syntax/literal/real.rb
- lib/finitio/syntax/literal/string.rb
- lib/finitio/syntax/literals.citrus
- lib/finitio/syntax/node.rb
- lib/finitio/syntax/system.rb
- lib/finitio/syntax/type.rb
- lib/finitio/syntax/type/ad_type.rb
- lib/finitio/syntax/type/any_type.rb
- lib/finitio/syntax/type/attribute.rb
- lib/finitio/syntax/type/builtin_type.rb
- lib/finitio/syntax/type/constraint_def.rb
- lib/finitio/syntax/type/constraints.rb
- lib/finitio/syntax/type/contract.rb
- lib/finitio/syntax/type/expression.rb
- lib/finitio/syntax/type/external_pair.rb
- lib/finitio/syntax/type/heading.rb
- lib/finitio/syntax/type/heading_extra.rb
- lib/finitio/syntax/type/high_order_type_instantiation.rb
- lib/finitio/syntax/type/high_order_vars.rb
- lib/finitio/syntax/type/inline_pair.rb
- lib/finitio/syntax/type/lambda_expr.rb
- lib/finitio/syntax/type/main_type.rb
- lib/finitio/syntax/type/metadata.rb
- lib/finitio/syntax/type/metadata_attr.rb
- lib/finitio/syntax/type/named_constraint.rb
- lib/finitio/syntax/type/relation_type.rb
- lib/finitio/syntax/type/seq_type.rb
- lib/finitio/syntax/type/set_type.rb
- lib/finitio/syntax/type/struct_type.rb
- lib/finitio/syntax/type/sub_type.rb
- lib/finitio/syntax/type/tuple_type.rb
- lib/finitio/syntax/type/type_def.rb
- lib/finitio/syntax/type/type_ref.rb
- lib/finitio/syntax/type/union_type.rb
- lib/finitio/syntax/type/unnamed_constraint.rb
- lib/finitio/syntax/types.citrus
- lib/finitio/system.rb
- lib/finitio/type.rb
- lib/finitio/type/ad_type.rb
- lib/finitio/type/alias_type.rb
- lib/finitio/type/any_type.rb
- lib/finitio/type/builtin_type.rb
- lib/finitio/type/collection_type.rb
- lib/finitio/type/hash_based_type.rb
- lib/finitio/type/heading_based_type.rb
- lib/finitio/type/high_order_type.rb
- lib/finitio/type/multi_relation_type.rb
- lib/finitio/type/multi_tuple_type.rb
- lib/finitio/type/proxy_type.rb
- lib/finitio/type/rel_based_type.rb
- lib/finitio/type/relation_type.rb
- lib/finitio/type/seq_type.rb
- lib/finitio/type/set_type.rb
- lib/finitio/type/struct_type.rb
- lib/finitio/type/sub_type.rb
- lib/finitio/type/tuple_type.rb
- lib/finitio/type/union_type.rb
- lib/finitio/version.rb
- spec/attribute/test_equality.rb
- spec/attribute/test_fetch_on.rb
- spec/attribute/test_initialize.rb
- spec/attribute/test_optional.rb
- spec/attribute/test_required.rb
- spec/attribute/test_to_name.rb
- spec/constraint/test_anonymous.rb
- spec/constraint/test_equality.rb
- spec/constraint/test_name.rb
- spec/constraint/test_named.rb
- spec/constraint/test_triple_equal.rb
- spec/finitio/system.fio
- spec/finitio/test_ast.rb
- spec/finitio/test_parse.rb
- spec/finitio/test_stdlib_memoization.rb
- spec/finitio/test_system.rb
- spec/generation/test_generation.rb
- spec/heading/test_allow_extra.rb
- spec/heading/test_each.rb
- spec/heading/test_equality.rb
- spec/heading/test_hash.rb
- spec/heading/test_hash_get.rb
- spec/heading/test_initialize.rb
- spec/heading/test_looks_similar.rb
- spec/heading/test_multi.rb
- spec/heading/test_size.rb
- spec/heading/test_suppremum.rb
- spec/heading/test_to_name.rb
- spec/inference/test_inference.rb
- spec/json_schema/test_ad_type.rb
- spec/json_schema/test_alias_type.rb
- spec/json_schema/test_any_type.rb
- spec/json_schema/test_builtin_type.rb
- spec/json_schema/test_multi_relation_type.rb
- spec/json_schema/test_multi_tuple_type.rb
- spec/json_schema/test_relation_type.rb
- spec/json_schema/test_seq_type.rb
- spec/json_schema/test_set_type.rb
- spec/json_schema/test_struct_type.rb
- spec/json_schema/test_sub_type.rb
- spec/json_schema/test_tuple_type.rb
- spec/json_schema/test_union_type.rb
- spec/regression/test_heading_extra_are_proxy_resolved.rb
- spec/spec_helper.rb
- spec/support/test_compare_attrs.rb
- spec/support/test_proc_with_code.rb
- spec/syntax/expr/test_free_variables.rb
- spec/syntax/expr/test_to_proc_source.rb
- spec/syntax/nodes/imported.fio
- spec/syntax/nodes/test_ad_type.rb
- spec/syntax/nodes/test_any_type.rb
- spec/syntax/nodes/test_attribute.rb
- spec/syntax/nodes/test_builtin_type.rb
- spec/syntax/nodes/test_comment.rb
- spec/syntax/nodes/test_constraint_def.rb
- spec/syntax/nodes/test_constraints.rb
- spec/syntax/nodes/test_contract.rb
- spec/syntax/nodes/test_expression.rb
- spec/syntax/nodes/test_heading.rb
- spec/syntax/nodes/test_import.rb
- spec/syntax/nodes/test_metadata.rb
- spec/syntax/nodes/test_named_constraint.rb
- spec/syntax/nodes/test_relation_type.rb
- spec/syntax/nodes/test_seq_type.rb
- spec/syntax/nodes/test_set_type.rb
- spec/syntax/nodes/test_spacing.rb
- spec/syntax/nodes/test_struct_type.rb
- spec/syntax/nodes/test_sub_type.rb
- spec/syntax/nodes/test_system.rb
- spec/syntax/nodes/test_tuple_type.rb
- spec/syntax/nodes/test_type_def.rb
- spec/syntax/nodes/test_type_ref.rb
- spec/syntax/nodes/test_union_type.rb
- spec/syntax/nodes/test_unnamed_constraint.rb
- spec/syntax/test_compile.rb
- spec/syntax/test_compile_type.rb
- spec/system/fixtures/system.fio
- spec/system/fixtures/with-duplicates.fio
- spec/system/test_add_type.rb
- spec/system/test_check_and_warn.rb
- spec/system/test_dsl.rb
- spec/system/test_dup.rb
- spec/system/test_fetch.rb
- spec/system/test_get_type.rb
- spec/system/test_initialize.rb
- spec/test_finitio.rb
- spec/type/ad_type/test_default_name.rb
- spec/type/ad_type/test_dress.rb
- spec/type/ad_type/test_include.rb
- spec/type/ad_type/test_initialize.rb
- spec/type/ad_type/test_name.rb
- spec/type/alias_type/test_default_name.rb
- spec/type/alias_type/test_delegation.rb
- spec/type/alias_type/test_name.rb
- spec/type/any_type/test_default_name.rb
- spec/type/any_type/test_dress.rb
- spec/type/any_type/test_equality.rb
- spec/type/any_type/test_include.rb
- spec/type/any_type/test_initialize.rb
- spec/type/any_type/test_name.rb
- spec/type/builtin_type/test_default_name.rb
- spec/type/builtin_type/test_dress.rb
- spec/type/builtin_type/test_equality.rb
- spec/type/builtin_type/test_include.rb
- spec/type/builtin_type/test_initialize.rb
- spec/type/builtin_type/test_name.rb
- spec/type/multi_relation_type/test_default_name.rb
- spec/type/multi_relation_type/test_dress.rb
- spec/type/multi_relation_type/test_equality.rb
- spec/type/multi_relation_type/test_include.rb
- spec/type/multi_relation_type/test_initialize.rb
- spec/type/multi_relation_type/test_name.rb
- spec/type/multi_tuple_type/test_default_name.rb
- spec/type/multi_tuple_type/test_dress.rb
- spec/type/multi_tuple_type/test_equality.rb
- spec/type/multi_tuple_type/test_include.rb
- spec/type/multi_tuple_type/test_initialize.rb
- spec/type/multi_tuple_type/test_name.rb
- spec/type/relation_type/test_default_name.rb
- spec/type/relation_type/test_dress.rb
- spec/type/relation_type/test_equality.rb
- spec/type/relation_type/test_include.rb
- spec/type/relation_type/test_initialize.rb
- spec/type/relation_type/test_name.rb
- spec/type/relation_type/test_suppremum.rb
- spec/type/seq_type/test_default_name.rb
- spec/type/seq_type/test_dress.rb
- spec/type/seq_type/test_equality.rb
- spec/type/seq_type/test_include.rb
- spec/type/seq_type/test_initialize.rb
- spec/type/seq_type/test_name.rb
- spec/type/seq_type/test_suppremum.rb
- spec/type/set_type/test_default_name.rb
- spec/type/set_type/test_dress.rb
- spec/type/set_type/test_equality.rb
- spec/type/set_type/test_include.rb
- spec/type/set_type/test_initialize.rb
- spec/type/set_type/test_name.rb
- spec/type/set_type/test_suppremum.rb
- spec/type/struct_type/test_default_name.rb
- spec/type/struct_type/test_dress.rb
- spec/type/struct_type/test_equality.rb
- spec/type/struct_type/test_include.rb
- spec/type/struct_type/test_initialize.rb
- spec/type/struct_type/test_name.rb
- spec/type/sub_type/test_default_name.rb
- spec/type/sub_type/test_dress.rb
- spec/type/sub_type/test_equality.rb
- spec/type/sub_type/test_include.rb
- spec/type/sub_type/test_initialize.rb
- spec/type/sub_type/test_name.rb
- spec/type/test_suppremum.rb
- spec/type/test_unconstrained.rb
- spec/type/tuple_type/test_default_name.rb
- spec/type/tuple_type/test_dress.rb
- spec/type/tuple_type/test_equality.rb
- spec/type/tuple_type/test_include.rb
- spec/type/tuple_type/test_initialize.rb
- spec/type/tuple_type/test_name.rb
- spec/type/tuple_type/test_suppremum.rb
- spec/type/union_type/test_default_name.rb
- spec/type/union_type/test_dress.rb
- spec/type/union_type/test_equality.rb
- spec/type/union_type/test_include.rb
- spec/type/union_type/test_initialize.rb
- spec/type/union_type/test_name.rb
- spec/type/union_type/test_suppremum.rb
- spec/type_factory/dsl/test_adt.rb
- spec/type_factory/dsl/test_any.rb
- spec/type_factory/dsl/test_attribute.rb
- spec/type_factory/dsl/test_attributes.rb
- spec/type_factory/dsl/test_builtin.rb
- spec/type_factory/dsl/test_multi_relation.rb
- spec/type_factory/dsl/test_multi_tuple.rb
- spec/type_factory/dsl/test_relation.rb
- spec/type_factory/dsl/test_seq.rb
- spec/type_factory/dsl/test_set.rb
- spec/type_factory/dsl/test_struct.rb
- spec/type_factory/dsl/test_subtype.rb
- spec/type_factory/dsl/test_tuple.rb
- spec/type_factory/dsl/test_union.rb
- spec/type_factory/factory/test_builtin.rb
- spec/type_factory/factory/test_seq_type.rb
- spec/type_factory/factory/test_set_type.rb
- spec/type_factory/factory/test_struct_type.rb
- spec/type_factory/factory/test_sub_type.rb
- spec/type_factory/factory/test_tuple_type.rb
- tasks/gem.rake
- tasks/test.rake
homepage: https://github.com/blambeau/finitio
licenses: []
metadata: {}
post_install_message: 
rdoc_options: []
require_paths:
- lib
required_ruby_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
required_rubygems_version: !ruby/object:Gem::Requirement
  requirements:
  - - ">="
    - !ruby/object:Gem::Version
      version: '0'
requirements: []
rubyforge_project: 
rubygems_version: 2.6.14.4
signing_key: 
specification_version: 4
summary: Finitio - in Ruby
test_files:
- spec/heading/test_multi.rb
- spec/heading/test_suppremum.rb
- spec/heading/test_each.rb
- spec/heading/test_allow_extra.rb
- spec/heading/test_equality.rb
- spec/heading/test_size.rb
- spec/heading/test_hash_get.rb
- spec/heading/test_initialize.rb
- spec/heading/test_to_name.rb
- spec/heading/test_hash.rb
- spec/heading/test_looks_similar.rb
- spec/system/test_get_type.rb
- spec/system/test_add_type.rb
- spec/system/test_dup.rb
- spec/system/test_dsl.rb
- spec/system/test_check_and_warn.rb
- spec/system/fixtures/with-duplicates.fio
- spec/system/fixtures/system.fio
- spec/system/test_fetch.rb
- spec/system/test_initialize.rb
- spec/support/test_compare_attrs.rb
- spec/support/test_proc_with_code.rb
- spec/constraint/test_name.rb
- spec/constraint/test_equality.rb
- spec/constraint/test_triple_equal.rb
- spec/constraint/test_named.rb
- spec/constraint/test_anonymous.rb
- spec/finitio/system.fio
- spec/finitio/test_ast.rb
- spec/finitio/test_system.rb
- spec/finitio/test_parse.rb
- spec/finitio/test_stdlib_memoization.rb
- spec/type/alias_type/test_name.rb
- spec/type/alias_type/test_default_name.rb
- spec/type/alias_type/test_delegation.rb
- spec/type/sub_type/test_dress.rb
- spec/type/sub_type/test_name.rb
- spec/type/sub_type/test_equality.rb
- spec/type/sub_type/test_include.rb
- spec/type/sub_type/test_default_name.rb
- spec/type/sub_type/test_initialize.rb
- spec/type/test_suppremum.rb
- spec/type/any_type/test_dress.rb
- spec/type/any_type/test_name.rb
- spec/type/any_type/test_equality.rb
- spec/type/any_type/test_include.rb
- spec/type/any_type/test_default_name.rb
- spec/type/any_type/test_initialize.rb
- spec/type/multi_tuple_type/test_dress.rb
- spec/type/multi_tuple_type/test_name.rb
- spec/type/multi_tuple_type/test_equality.rb
- spec/type/multi_tuple_type/test_include.rb
- spec/type/multi_tuple_type/test_default_name.rb
- spec/type/multi_tuple_type/test_initialize.rb
- spec/type/ad_type/test_dress.rb
- spec/type/ad_type/test_name.rb
- spec/type/ad_type/test_include.rb
- spec/type/ad_type/test_default_name.rb
- spec/type/ad_type/test_initialize.rb
- spec/type/tuple_type/test_suppremum.rb
- spec/type/tuple_type/test_dress.rb
- spec/type/tuple_type/test_name.rb
- spec/type/tuple_type/test_equality.rb
- spec/type/tuple_type/test_include.rb
- spec/type/tuple_type/test_default_name.rb
- spec/type/tuple_type/test_initialize.rb
- spec/type/union_type/test_suppremum.rb
- spec/type/union_type/test_dress.rb
- spec/type/union_type/test_name.rb
- spec/type/union_type/test_equality.rb
- spec/type/union_type/test_include.rb
- spec/type/union_type/test_default_name.rb
- spec/type/union_type/test_initialize.rb
- spec/type/seq_type/test_suppremum.rb
- spec/type/seq_type/test_dress.rb
- spec/type/seq_type/test_name.rb
- spec/type/seq_type/test_equality.rb
- spec/type/seq_type/test_include.rb
- spec/type/seq_type/test_default_name.rb
- spec/type/seq_type/test_initialize.rb
- spec/type/builtin_type/test_dress.rb
- spec/type/builtin_type/test_name.rb
- spec/type/builtin_type/test_equality.rb
- spec/type/builtin_type/test_include.rb
- spec/type/builtin_type/test_default_name.rb
- spec/type/builtin_type/test_initialize.rb
- spec/type/set_type/test_suppremum.rb
- spec/type/set_type/test_dress.rb
- spec/type/set_type/test_name.rb
- spec/type/set_type/test_equality.rb
- spec/type/set_type/test_include.rb
- spec/type/set_type/test_default_name.rb
- spec/type/set_type/test_initialize.rb
- spec/type/relation_type/test_suppremum.rb
- spec/type/relation_type/test_dress.rb
- spec/type/relation_type/test_name.rb
- spec/type/relation_type/test_equality.rb
- spec/type/relation_type/test_include.rb
- spec/type/relation_type/test_default_name.rb
- spec/type/relation_type/test_initialize.rb
- spec/type/multi_relation_type/test_dress.rb
- spec/type/multi_relation_type/test_name.rb
- spec/type/multi_relation_type/test_equality.rb
- spec/type/multi_relation_type/test_include.rb
- spec/type/multi_relation_type/test_default_name.rb
- spec/type/multi_relation_type/test_initialize.rb
- spec/type/test_unconstrained.rb
- spec/type/struct_type/test_dress.rb
- spec/type/struct_type/test_name.rb
- spec/type/struct_type/test_equality.rb
- spec/type/struct_type/test_include.rb
- spec/type/struct_type/test_default_name.rb
- spec/type/struct_type/test_initialize.rb
- spec/attribute/test_optional.rb
- spec/attribute/test_equality.rb
- spec/attribute/test_required.rb
- spec/attribute/test_fetch_on.rb
- spec/attribute/test_initialize.rb
- spec/attribute/test_to_name.rb
- spec/inference/test_inference.rb
- spec/regression/test_heading_extra_are_proxy_resolved.rb
- spec/spec_helper.rb
- spec/type_factory/factory/test_sub_type.rb
- spec/type_factory/factory/test_builtin.rb
- spec/type_factory/factory/test_struct_type.rb
- spec/type_factory/factory/test_tuple_type.rb
- spec/type_factory/factory/test_seq_type.rb
- spec/type_factory/factory/test_set_type.rb
- spec/type_factory/dsl/test_builtin.rb
- spec/type_factory/dsl/test_subtype.rb
- spec/type_factory/dsl/test_multi_relation.rb
- spec/type_factory/dsl/test_adt.rb
- spec/type_factory/dsl/test_union.rb
- spec/type_factory/dsl/test_attributes.rb
- spec/type_factory/dsl/test_attribute.rb
- spec/type_factory/dsl/test_relation.rb
- spec/type_factory/dsl/test_set.rb
- spec/type_factory/dsl/test_seq.rb
- spec/type_factory/dsl/test_struct.rb
- spec/type_factory/dsl/test_any.rb
- spec/type_factory/dsl/test_multi_tuple.rb
- spec/type_factory/dsl/test_tuple.rb
- spec/generation/test_generation.rb
- spec/json_schema/test_sub_type.rb
- spec/json_schema/test_alias_type.rb
- spec/json_schema/test_union_type.rb
- spec/json_schema/test_multi_tuple_type.rb
- spec/json_schema/test_multi_relation_type.rb
- spec/json_schema/test_builtin_type.rb
- spec/json_schema/test_struct_type.rb
- spec/json_schema/test_ad_type.rb
- spec/json_schema/test_tuple_type.rb
- spec/json_schema/test_any_type.rb
- spec/json_schema/test_relation_type.rb
- spec/json_schema/test_seq_type.rb
- spec/json_schema/test_set_type.rb
- spec/test_finitio.rb
- spec/syntax/nodes/test_sub_type.rb
- spec/syntax/nodes/test_type_def.rb
- spec/syntax/nodes/test_unnamed_constraint.rb
- spec/syntax/nodes/test_spacing.rb
- spec/syntax/nodes/test_type_ref.rb
- spec/syntax/nodes/test_union_type.rb
- spec/syntax/nodes/test_comment.rb
- spec/syntax/nodes/test_import.rb
- spec/syntax/nodes/test_heading.rb
- spec/syntax/nodes/test_builtin_type.rb
- spec/syntax/nodes/test_named_constraint.rb
- spec/syntax/nodes/test_metadata.rb
- spec/syntax/nodes/test_struct_type.rb
- spec/syntax/nodes/test_attribute.rb
- spec/syntax/nodes/test_ad_type.rb
- spec/syntax/nodes/test_tuple_type.rb
- spec/syntax/nodes/test_any_type.rb
- spec/syntax/nodes/test_relation_type.rb
- spec/syntax/nodes/test_seq_type.rb
- spec/syntax/nodes/test_system.rb
- spec/syntax/nodes/test_contract.rb
- spec/syntax/nodes/test_expression.rb
- spec/syntax/nodes/test_set_type.rb
- spec/syntax/nodes/test_constraint_def.rb
- spec/syntax/nodes/imported.fio
- spec/syntax/nodes/test_constraints.rb
- spec/syntax/expr/test_free_variables.rb
- spec/syntax/expr/test_to_proc_source.rb
- spec/syntax/test_compile.rb
- spec/syntax/test_compile_type.rb