fact: Fixpoint listToTree (l : list SplitPath) (f : SplitPath -> RandomSeed) ( Pref : PrefixFree l) : {s : SeedTree | correspondingSeedTree l f s}.
imports: mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool ssrnat eqtype) ZArith LazyList Tactics List