package asak

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Asak.Lambda_utils`

type threshold =

val hash_lambda : 
  bool ->
  threshold ->
  Lambda.lambda ->
  (int * string) * (int * string) list

Hash a lambda expression. Usage: hash_lambda will_sort threshold expr. Two lambda expressions "of the same shape" will share the same hash.

parameter will_sort
If true, then all lists of hash will be sorted. This is useful to identify more codes, but can leads to some false-positive.

returns
A tuple with the main hash, and a list of hashes of sub-ASTs. All hashes are given with the weight of their AST.

val inline_all : Lambda.lambda -> Lambda.lambda

Inline all possible (ie. without side effect) expressions in a lambda expression.