PlutusCore.Examples.Data.TreeForest

Synopsis

valueforestCons :: HasUniApply uni => Term TyName Name uni fun ()

valueforestData :: RecursiveType uni fun ()

valueforestNil :: HasUniApply uni => Term TyName Name uni fun ()

valuetreeData :: RecursiveType uni fun ()

valuetreeNode :: HasUniApply uni => Term TyName Name uni fun ()