Chan (p.goblint.1.1.1.doc.goblint.lib.Pml.Chan)

val create : int e -> 'a t -> 'a chan t

val full : ('a chan * string) -> bool * string

val nfull : ('a chan * string) -> bool * string

val empty : ('a chan * string) -> bool * string

val nempty : ('a chan * string) -> bool * string

val len : ('a chan * string) -> int * string

val first : 'a chan -> ('a * 'b) -> bool

val any : 'a chan -> ('a * 'b) -> bool

val poll : 
  [< `Any | `First ] ->
  ('a chan * string) ->
  ('a * string) ->
  bool * string

val recv : 
  [< `Any | `First ] ->
  ('a chan * string) ->
  ('a * string) ->
  unit * string

val send : ('a chan * string) -> ('b * string) -> bool * string