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