Module Exclave_if.Reason

type t =
  1. | May_return_local
  2. | May_return_regional
  3. | Will_return_unboxed