833def lookupCoreEffectPrimitive :
834 (pi unrestricted name : Bytes . (family CorePrimitiveLookupResult)) =
835 (lambda unrestricted name : Bytes .
836 (chooseCorePrimitive
837 (coreBytesEqual name b"File")
838 (constructor CorePrimitive CoreFileEffect)
839 (chooseCorePrimitive
840 (coreBytesEqual name b"effects")
841 (constructor CorePrimitive CoreEffects)
842 (chooseCorePrimitive
843 (coreBytesEqual name b"computation")
844 (constructor CorePrimitive CoreComputation)
845 (chooseCorePrimitive
846 (coreBytesEqual name b"return")
847 (constructor CorePrimitive CoreReturn)
848 (chooseCorePrimitive
849 (coreBytesEqual name b"bind")
850 (constructor CorePrimitive CoreBind)
851 (chooseCorePrimitive
852 (coreBytesEqual name b"read-file")
853 (constructor CorePrimitive CoreReadFile)
854 (chooseCorePrimitive
855 (coreBytesEqual name b"write-file")
856 (constructor CorePrimitive CoreWriteFile)
857 (lookupCoreNativeEffectPrimitive name)))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.