package GuaCaml

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