package acgtk
Abstract Categorial Grammar development toolkit
Install
dune-project
Dependency
Authors
Maintainers
Sources
acg-2.1.0-20240219.tar.gz
sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2
doc/acgtk.scripting/Scripting/Value/index.html
Module Scripting.ValueSource
Source
type vterm = | StringTerm of string * UtilsLib.Error.pos| RealTerm of AcgSig.t * Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype * Containers.SharedForest.SharedForest.weight option
Source
val get_term_value_in_sig :
AcgSig.t ->
vterm ->
Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype