package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

sha512=5d380a947658fb1201895cb4cb449b1f60f54914c563e85181d628a89f045c1dd7b5b2226bb7865dd090f87caa9187e0ea6c7a4ee3dc3dda340d404c4e76c7c2

module E : Elt

Sourcetype tuple

Sourcetype t

Sourceval list_to_tuple : E.t list -> tuple

Sourceval tuple_to_list : tuple -> E.t list

Sourceval tuple_to_string : tuple -> string

Sourceval product : int -> tuple -> t

product n t returns the product T×T×…×T (n time) where T is the set of elements of t

Sourceval fold : ('a -> tuple -> 'a) -> 'a -> t -> 'a

map f product the list of f t where t ranges over the tuples of product.

Sourceval to_list : t -> E.t list list

Sourceval to_string : t -> string

On This Page