package GuaCaml

  1. Overview
  2. Docs
val atree : 'a STools.ToS.t -> 'b STools.ToS.t -> ('a, 'b) Tree.atree -> string
val atrees : 'a STools.ToS.t -> 'b STools.ToS.t -> ('a, 'b) Tree.atree list -> string
val aatree : 'a STools.ToS.t -> ('a, 'a) Tree.atree -> string
val aatrees : 'a STools.ToS.t -> ('a, 'a) Tree.atree list -> string
val gnext : 'a STools.ToS.t -> 'b STools.ToS.t -> ('a, 'b) Tree.gnext -> string