sig
  val materialized_of_list : 'a list -> 'a Physical_value.sequence
  val streamed_of_list : 'a list -> 'a Physical_value.sequence
  val materialized_of_cursor : 'a Cursor.cursor -> 'a Physical_value.sequence
  val streamed_of_cursor : 'a Cursor.cursor -> 'a Physical_value.sequence
  val list_of_sequence : 'a Physical_value.sequence -> 'a list
  val cursor_of_sequence : 'a Physical_value.sequence -> 'a Cursor.cursor
  val sequence_empty : unit -> 'a Physical_value.sequence
  val sequence_of_singleton : 'a -> 'a Physical_value.sequence
  val sequence_of_option : 'a option -> 'a Physical_value.sequence
  val materialize_sequence :
    'a Physical_value.sequence -> 'a Physical_value.sequence
  val stream_sequence :
    'a Physical_value.sequence -> 'a Physical_value.sequence
  val sequence_peek : 'a Physical_value.sequence -> 'a option
  val sequence_npeek : int -> 'a Physical_value.sequence -> 'a list
  val sequence_is_empty : 'a Physical_value.sequence -> bool
  val sequence_get_singleton : 'a Physical_value.sequence -> 'a
  val sequence_is_singleton : 'a Physical_value.sequence -> bool
  val sequence_get_optional : 'a Physical_value.sequence -> 'a option
  val sequence_is_optional : 'a Physical_value.sequence -> bool
end