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) * (bool list -> 'b * BTools.OfB.stream)) -> ('c BTools.ToB.t * 'd BTools.OfB.t) -> ('e BTools.ToB.t * 'f BTools.OfB.t) -> ('a, 'c, 'e) Type.next BTools.ToB.t * ('b, 'd, 'f) Type.next BTools.OfB.t
val edge : (('a -> BTools.ToB.stream -> bool list) * (bool list -> 'b * BTools.OfB.stream)) -> ('c BTools.ToB.t * 'd BTools.OfB.t) -> ('e BTools.ToB.t * 'f BTools.OfB.t) -> ('a, 'c, 'e) Type.edge BTools.ToB.t * ('b, 'd, 'f) Type.edge BTools.OfB.t
val node : (('a -> BTools.ToB.stream -> bool list) * (bool list -> 'b * BTools.OfB.stream)) -> ('c BTools.ToB.t * 'd BTools.OfB.t) -> ('e BTools.ToB.t * 'f BTools.OfB.t) -> ('a, 'c, 'e) Type.node BTools.ToB.t * ('b, 'd, 'f) Type.node BTools.OfB.t