sig
  type execution_context
  type ('a, 'execution_context) raw
  type 'a t
  val of_raw :
    ('a, Import.Raw.execution_context) Import.Raw.raw -> 'a Import.Raw.t
  val to_raw :
    'a Import.Raw.t -> ('a, Import.Raw.execution_context) Import.Raw.raw
end