Anoma.BuiltinResources
Contents
module AlwaysValidSource#
logicFunction : LogicFunctionSource#
logicHash : LogicHashSource#
mkLogicFunctionMap (xs : List (LogicHash × LogicFunction)) : Map LogicHash LogicFunctionSource#
Create a map from LogicHash to LogicFunction that includes the AlwaysValid logicFunction
