package acgtk
Abstract Categorial Grammar development toolkit
Install
dune-project
Dependency
Authors
Maintainers
Sources
acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc
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 * string option
Source
val get_term_value_in_sig :
AcgSig.t ->
vterm ->
Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype