lascar.utils
Utils.Tree
A basic implementation of n-ary trees
lascar
module type Arg = sig ... end
Input signature of the functor Tree.Make.
Tree.Make
module type S = sig ... end
Output signature of the functor Tree.Make.
module Make (A : Arg) : S with type node = A.node and type edge = A.edge
Functor building an implementation of the tree structure