package grenier
A collection of various algorithms in OCaml
Install
dune-project
Dependency
Authors
Maintainers
Sources
grenier-0.14.tbz
sha256=e5362e6ad0e888526517415e78b9e8243bb0cc1b0c952201884148832ac4442f
sha512=4e2f16b52b3c2786a1b8e93156184fd69d448cea571ca839b6cb88ab73f380994d1561fe24c1523c43ed8fc42d2ac01b673a13b6151fff4af4f009923d3aaf37
doc/grenier.binder_introducer/Binder_introducer/index.html
Module Binder_introducerSource
Source
type 'a graph = 'a Fastdom.graph = {memoize : 'b. ('a -> 'b) -> 'a -> 'b;(*Memoize a function on nodes
*)successors : 'b. ('b -> 'a -> 'b) -> 'b -> 'a -> 'b;(*Fold over successors of a node
*)
}Representation of a graph with nodes of type 'a
Rewrite a (possibly cyclic) directed graph by introducing let-binders at dominating nodes
Source
type ('term, 'var) binding_structure = {map_subterms : ('term -> 'term) -> 'term -> 'term;name_term : 'term -> 'var;var_term : 'var -> 'term;introduce_let : recursive:bool -> ('var * 'term) list -> 'term -> 'term;
}