package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val next : (bool list -> 'a * BTools.OfB.stream) -> 'b BTools.OfB.t -> 'c BTools.OfB.t -> ('a, 'b, 'c) Type.next BTools.OfB.t
val edge : (bool list -> 'a * BTools.OfB.stream) -> 'b BTools.OfB.t -> 'c BTools.OfB.t -> ('a, 'b, 'c) Type.edge BTools.OfB.t
val node : (bool list -> 'a * BTools.OfB.stream) -> 'b BTools.OfB.t -> 'c BTools.OfB.t -> ('a, 'b, 'c) Type.node BTools.OfB.t
val gnext : (bool list -> 'a * BTools.OfB.stream) -> (bool list -> 'b * BTools.OfB.stream) -> ('a, 'b) Type.gnext BTools.OfB.t
val gedge : (bool list -> 'a * BTools.OfB.stream) -> (bool list -> 'b * BTools.OfB.stream) -> 'c BTools.OfB.t -> ('a, 'b, 'c) Type.gedge BTools.OfB.t
val gnode : (bool list -> 'a * BTools.OfB.stream) -> (bool list -> 'b * BTools.OfB.stream) -> 'c BTools.OfB.t -> 'd BTools.OfB.t -> ('a, 'b, 'c, 'd) Type.gnode BTools.OfB.t