package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
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