Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Asak.Lambda_hash
Sourcetype config = {
should_sort : bool;
If we sort all lists of hashes. This is useful to identify more codes, but can identify unfactorizable code.
*)hash_var : bool;
If we hash names in the AST.
*)}
A type synonym for the result of the hash_lambda
function
Hash a lambda expression. Usage: hash_lambda config threshold expr
. Two lambda expressions "of the same shape" will share the same hash. Particularly, constant are ignored.
Utilities
Using a hard threshold, hash a list of lambda expressions from Parse_structure.read_structure
.