package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

dune-project

Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (2)

Authors

S

Sylvain Pogodalla

Maintainers

S

sylvain.pogodalla@inria.fr

Sources

acgtk-1.5.3.tar.gz

sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41

md5=04c1e14f98e2c8fd966ef7ef30b38323

doc/acgtkLib.logic/Logic/TypeInference/Type/index.html

Module `TypeInference.Type`Source

Source

val inference : 
  Lambda.Lambda.term ->
  Lambda.Lambda.stype
  * (Lambda.Lambda.term * Lambda.Lambda.stype) UtilsLib.Utils.IntMap.t

inference t returns (ty,map) where ty is the type of t and map is a map from int, denoting the index of occurrences of constants considered as free variables (as in Kanazawa's ACG to Datalog reduction), to the constant they replace and their associated infered type.

The indexes of atomic types are negative to denote type variables.