module Physical_list:sig..end
val list_empty : unit -> 'a list
val list_of_singleton : 'a -> 'a list
val list_of_option : 'a option -> 'a list
val list_peek : 'a list -> 'a option
val list_npeek : int -> 'a list -> 'a list
val list_is_empty : 'a list -> bool
val list_is_singleton : 'a list -> bool
val list_is_optional : 'a list -> bool