fact: Definition lambda_calculus_data_to_function (L : lambda_calculus_data) : nat → hSet := pr1 L.
imports: UniMath.Foundations.All UniMath.MoreFoundations.All UniMath.Combinatorics.StandardFiniteSets UniMath.Combinatorics.Tuples