Make.A
type t
type node
val children : t -> node -> node iter
module Node_tbl : Stdlib.Hashtbl.S with type key = node