import SRC/index-definitions.lm;

import SRC/infer-expr.lm;
import SRC/alias.lm;
import SRC/class-exists.lm;
import SRC/is-parameter-flat.lm;
import SRC/is-special.lm;
import SRC/is-lone-tag.lm;
import SRC/is-fragment.lm;
import SRC/global-is-seen.lm;
import SRC/class-only-child.lm;
import SRC/index-of-tag.lm;
import SRC/size-of-class.lm;
import SRC/class-of-tag.lm;
import SRC/is-class.lm;
import SRC/fields-of-tag.lm;
import SRC/type-constructors.lm;
import SRC/type-complex-fields.lm;

import SRC/is-open.lm;
import SRC/is-parameterized.lm;
import SRC/is-sized.lm;
import SRC/has-representation.lm;
import SRC/guess-representation.lm;

import SRC/as-local-variable.lm;
import SRC/as-constant.lm;
import SRC/deep-hash.lm;

import SRC/ascript.lm;
import SRC/ascript-normal.lm;
import SRC/typeof.lm;
import SRC/to-s.lm;
import SRC/domain.lm;
import SRC/range.lm;
import SRC/t.lm;
import SRC/p.lm;
import SRC/and.lm;
import SRC/union.lm;
import SRC/tag-of.lm;
import SRC/can-unify.lm;
import SRC/unify.lm;
import SRC/fields-of-type.lm;
import SRC/sizeof-type.lm;
import SRC/sizeof-aligned.lm;
import SRC/has-infinite.lm;
import SRC/has-forward.lm;
import SRC/is-reg8.lm;
import SRC/is-reg16.lm;
import SRC/is-reg32.lm;
import SRC/is-reg64.lm;

import SRC/with-tag.lm;
import SRC/with-size.lm;
import SRC/with-fields.lm;

import SRC/without-tag.lm;
import SRC/without-representation.lm;
import SRC/without-size-unless-class.lm;
import SRC/without-size.lm;

import SRC/with-only-tag.lm;
import SRC/with-only-class.lm;
import SRC/with-only-representation.lm;

import SRC/normalize.lm;
import SRC/denormalize.lm;
import SRC/enrich.lm;
import SRC/type-of-s.lm;
import SRC/type-of-s-with-fields.lm;

import SRC/typeof-lhs.lm;
import SRC/typeof-tag.lm;
import SRC/cons-head.lm;
import SRC/cons-tail.lm;
import SRC/parameter-number.lm;
import SRC/apply.lm;
import SRC/apply-and-specialize.lm;
import SRC/apply-plural.lm;
import SRC/reduce-plural.lm;
import SRC/apply-or-cons-and-specialize.lm;
import SRC/try-specialize.lm;

import SRC/unify-hint.lm;
import SRC/infer-type-definition.lm;
import SRC/arity.lm;
import SRC/cons-arity.lm;
import SRC/parse-field-of.lm;
import SRC/implicit-tail.lm;
import SRC/typeof-var.lm;
import SRC/typeof-var-raw.lm;

import SRC/typecheck.lm;
import SRC/substitute.lm;
import SRC/specialize.lm;
import SRC/mark-constructor-flat-parameters.lm;
import SRC/infer-type-constructor.lm;
import SRC/infer-global-context.lm;
import SRC/assert-well-typed.lm;
import SRC/assert-one-typed.lm;
import SRC/infer-ctx.lm;
import SRC/infer-tctx.lm;