package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

Dune 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

acg-2.1.0-20240219.tar.gz

sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

doc/acgtk.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.