sig val get : Kernel_function.t option -> Region.map end