YAS representation deps(term)
Language
Dependencies
- languages/LAL: function
- Function deps
- Representation lal(term)
- Representation deps(term)
- Goal lalDeps:deps
- Files: None
- languages/Term: membership
- Representation deps(term)
- Goal succeed
- Files: None
Files
- languages/LAL/lib/application.deps
- languages/LAL/lib/bx/delta.deps
- languages/LAL/lib/bx/state.deps
- languages/LAL/lib/cast.deps
- languages/LAL/lib/composition.deps
- languages/LAL/lib/conformance.deps
- languages/LAL/lib/conformance/bnl.deps
- languages/LAL/lib/conformance/mathml.deps
- languages/LAL/lib/correspondence.deps
- languages/LAL/lib/correspondence/oneToOne.deps
- languages/LAL/lib/coupling.deps
- languages/LAL/lib/cx/cotransformation.deps
- languages/LAL/lib/cx/delta.deps
- languages/LAL/lib/cx/invariant.deps
- languages/LAL/lib/cx/mapping.deps
- languages/LAL/lib/differencing.deps
- languages/LAL/lib/interpretation.deps
- languages/LAL/lib/language.deps
- languages/LAL/lib/language/mathml.deps
- languages/LAL/lib/membership.deps
- languages/LAL/lib/referencing.deps
- languages/LAL/lib/selection.deps
- languages/LAL/lib/traceability.deps
- languages/LAL/lib/traceability/refs.deps
- languages/LAL/lib/transformation.deps