package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val get_next_leaf : 'a -> ('a, 'b, 'c) Type.next
val get_next_node : ('a -> ('b, 'c, 'd) Type.node) -> 'a -> ('b, 'c, 'd) Type.next
val get_edge : ('a -> 'b) -> ('c * 'a) -> 'c * 'b
val get_node : ('a -> 'b) -> ('c -> 'd) -> ('e * 'a * 'c) -> 'e * 'b * 'd
val get_edge_leaf : ('a * 'b) -> ('b, 'a, 'c) Type.edge
val get_node_leaf : ('a * ('b * 'c) * ('b * 'c)) -> ('c, 'b, 'a) Type.node
val o3_next : (('a, 'b, 'c) Type.next -> (('a, 'b, 'c) Type.node, 'a) Poly.c2) * ((('d, 'e, 'f) Type.node, 'd) Poly.c2 -> ('d, 'e, 'f) Type.next)
val bindump : 'leaf BTools.ToB.t -> 'edge BTools.ToB.t -> 'node BTools.ToB.t -> ('leaf, 'edge, 'node) Type.next BTools.ToB.t * ('leaf, 'edge, 'node) Type.edge BTools.ToB.t * ('leaf, 'edge, 'node) Type.node BTools.ToB.t
val bindump_edge : 'a BTools.ToB.t -> 'b BTools.ToB.t -> 'c BTools.ToB.t -> ('a, 'b, 'c) Type.edge BTools.ToB.t
val binload : 'leaf BTools.OfB.t -> 'edge BTools.OfB.t -> 'node BTools.OfB.t -> ('leaf, 'edge, 'node) Type.next BTools.OfB.t * ('leaf, 'edge, 'node) Type.edge BTools.OfB.t * ('leaf, 'edge, 'node) Type.node BTools.OfB.t
val o3s : ('a BTools.ToB.t * 'b BTools.OfB.t) -> ('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) * (('a, 'c, 'e) Type.edge BTools.ToB.t * ('b, 'd, 'f) Type.edge BTools.OfB.t) * (('a, 'c, 'e) Type.node BTools.ToB.t * ('b, 'd, 'f) Type.node BTools.OfB.t)
val binload_edge : 'a BTools.OfB.t -> 'b BTools.OfB.t -> 'c BTools.OfB.t -> ('a, 'b, 'c) Type.edge BTools.OfB.t
val o3s_edge : ('a BTools.ToB.t * 'b BTools.OfB.t) -> ('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