1Simplif(3)                       OCaml library                      Simplif(3)
2
3
4

NAME

6       Simplif - Lambda simplification and lambda plugin hooks
7

Module

9       Module   Simplif
10

Documentation

12       Module Simplif
13        : sig end
14
15
16       Lambda simplification and lambda plugin hooks
17
18       Warning: this module is unstable and part of Compiler_libs .
19
20
21
22
23
24
25       val simplify_lambda : string -> Lambda.lambda -> Lambda.lambda
26
27
28
29
30       val  split_default_wrapper : id:Ident.t -> kind:Lambda.function_kind ->
31       params:(Ident.t * Lambda.value_kind) list  ->  return:Lambda.value_kind
32       ->  body:Lambda.lambda  ->  attr:Lambda.function_attribute -> loc:Loca‐
33       tion.t -> (Ident.t * Lambda.lambda) list
34
35
36
37
38       val is_tail_native_heuristic : (int -> bool) ref
39
40
41
42       module Hooks : sig end
43
44
45
46
47
48
49
50OCamldoc                          2019-07-30                        Simplif(3)