package core_kernel

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Pairing_heap.EltSource

Sourcetype 'a t
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
Sourceval value_exn : 'a t -> 'a

value_exn t returns the value in the heap controlled by this token if the value is still in the heap, and raises otherwise.