package GuaCaml

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