Module Ppx_let_expander.Locality

type t = {
  1. allocate_function_on_stack : bool;
  2. return_value_in_exclave : bool;
}

Controls the locality of the closure generated by the ppx, and that closure's return value.

  • %map/%bind -> {allocate_function_on_stack = false; return_value_in_exclave = false}
  • %mapl_fun/%bindl_fun -> {allocate_function_on_stack = true; return_value_in_exclave = false}
  • %mapl_val/%bindl_val -> {allocate_function_on_stack = false; return_value_in_exclave = true}
  • %mapl/%bindl -> {allocate_function_on_stack = true; return_value_in_exclave = true}
val global : t
val all : t list