acgtk

Abstract Categorial Grammar development toolkit
Library acgtkLib.logic
Parameter #1 Logic . VarUnionFind . UF . Value
type t
type value
val unfold : value -> t -> (int * value list) option