package ego

You can search for identifiers within the package.

in-package search v0.2.0

Ego (EGraphs OCaml) is extensible EGraph library for OCaml

Install

Dune Dependency

gitlab.com Edit opam file Versions (2)

Authors

K

Kiran Gopinathan

Maintainers

K

kirang@comp.nus.edu.sg

Sources

0.0.6.tar.gz

sha256=770f617799a51e282e82e055d4a715328001e7208deaf92bc1ae5710c34dcaf3

md5=016028a0dcd7a8cef864b20879baf9dd

doc/ego/Ego/Generic/MakeExtractor/index.html

Module `Generic.MakeExtractor`Source

This functor MakeExtractor allows users to construct an EGraph extraction procedure for a given LANGUAGE and COST system.

Parameters

module L : LANGUAGE

module E : COST with type node := Id.t L.shape

Signature

Sourceval extract : (Id.t L.shape, 'a, 'b, rw) egraph -> Id.t -> L.t

extract graph computes an extraction function Id.t -> Sexplib0.Sexp.t to extract concrete terms of the language L from their respective EClasses (specified by Id.t) from the EGraph according to the cost system E.

On This Page

Parameters
Signature