AlphaGitHub
Source/Packages

Compiler.Planning.Protocol

packages/compiler/planning/src/Compiler/Planning/Protocol.alpha

487 lines8 declarations22.1 KiBSHA-256 21f495cf84da
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 15–24

protocolRequire

Full file
15def protocolRequire =
16  (lambda unrestricted flag : Nat .
17    (lambda unrestricted failure : (family ProtocolFailure) .
18      (lambda unrestricted next : (family StdResult (family ProtocolFailure) Nat) .
19        (nat-eliminate
20          (lambda unrestricted current : Nat . (family StdResult (family ProtocolFailure) Nat))
21          (constructor StdResult StdFailure (family ProtocolFailure) Nat failure)
22          (lambda unrestricted previous : Nat .
23            (lambda unrestricted ignored : (family StdResult (family ProtocolFailure) Nat) . next))
24          flag))))

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.