package cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a clist =
  1. | CList of 'a list
  2. | CConsL of 'a * 'a clist
  3. | CConsR of 'a clist * 'a
  4. | CSeq of 'a clist * 'a clist
val toList : 'a clist -> 'a list
val fromList : 'a list -> 'a clist
val single : 'a -> 'a clist
val empty : 'a clist
val append : 'a clist -> 'a clist -> 'a clist
val checkBeforeAppend : 'a clist -> 'a clist -> bool
val length : 'a clist -> int
val map : ('a -> 'b) -> 'a clist -> 'b clist
val fold_left : ('acc -> 'a -> 'acc) -> 'acc -> 'a clist -> 'acc
val iter : ('a -> unit) -> 'a clist -> unit
val rev : ('a -> 'a) -> 'a clist -> 'a clist
val docCList : Pretty.doc -> ('a -> Pretty.doc) -> unit -> 'a clist -> Pretty.doc