| $sel:algorithm:PublicKey | Auth.Biscuit.Proto |
| $sel:authority:Biscuit | Auth.Biscuit.Proto |
| $sel:block:SignedBlock | Auth.Biscuit.Proto |
| $sel:blocks:Biscuit | Auth.Biscuit.Proto |
| $sel:body:RuleV2 | Auth.Biscuit.Proto |
| $sel:checks_v2:Block | Auth.Biscuit.Proto |
| $sel:context:Block | Auth.Biscuit.Proto |
| $sel:expressions:RuleV2 | Auth.Biscuit.Proto |
| $sel:facts_v2:Block | Auth.Biscuit.Proto |
| $sel:head:RuleV2 | Auth.Biscuit.Proto |
| $sel:key:PublicKey | Auth.Biscuit.Proto |
| $sel:kind:OpBinary | Auth.Biscuit.Proto |
| $sel:kind:OpTernary | Auth.Biscuit.Proto |
| $sel:kind:OpUnary | Auth.Biscuit.Proto |
| $sel:name:PredicateV2 | Auth.Biscuit.Proto |
| $sel:nextKey:SignedBlock | Auth.Biscuit.Proto |
| $sel:ops:ExpressionV2 | Auth.Biscuit.Proto |
| $sel:predicate:FactV2 | Auth.Biscuit.Proto |
| $sel:proof:Biscuit | Auth.Biscuit.Proto |
| $sel:queries:CheckV2 | Auth.Biscuit.Proto |
| $sel:rootKeyId:Biscuit | Auth.Biscuit.Proto |
| $sel:rules_v2:Block | Auth.Biscuit.Proto |
| $sel:set:TermSet | Auth.Biscuit.Proto |
| $sel:signature:SignedBlock | Auth.Biscuit.Proto |
| $sel:symbols:Block | Auth.Biscuit.Proto |
| $sel:terms:PredicateV2 | Auth.Biscuit.Proto |
| $sel:version:Block | Auth.Biscuit.Proto |
| Add | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| addBlock | Auth.Biscuit.Token, Auth.Biscuit |
| Algorithm | Auth.Biscuit.Proto |
| allGeneratedFacts | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| Allow | Auth.Biscuit.Datalog.AST |
| allowBlockFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| allowRegexes | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| And | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Antiquote | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| asOpen | Auth.Biscuit.Token, Auth.Biscuit |
| asSealed | Auth.Biscuit.Token, Auth.Biscuit |
| authority | Auth.Biscuit.Token |
| authorityFacts | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| AuthorizationSuccess | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| authorizeBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
| authorizeBiscuitWithLimits | Auth.Biscuit.Token, Auth.Biscuit |
| Authorizer | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Type/Class) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| authorizer | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
| Authorizer' | Auth.Biscuit.Datalog.AST |
| AuthorizerElement' | Auth.Biscuit.Datalog.AST |
| authorizerParser | Auth.Biscuit.Datalog.Parser |
| AuthorizerPolicy | Auth.Biscuit.Datalog.AST |
| bChecks | Auth.Biscuit.Datalog.AST |
| bContext | Auth.Biscuit.Datalog.AST |
| bFacts | Auth.Biscuit.Datalog.AST |
| Binary | Auth.Biscuit.Datalog.AST |
| BinaryKind | Auth.Biscuit.Proto |
| Bindings | Auth.Biscuit.Datalog.Executor |
| bindings | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| Biscuit | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| 3 (Type/Class) | Auth.Biscuit.Token, Auth.Biscuit |
| BiscuitEncoding | Auth.Biscuit.Token, Auth.Biscuit |
| BiscuitProof | Auth.Biscuit.Token, Auth.Biscuit |
| Block | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Type/Class) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| 3 (Type/Class) | Auth.Biscuit.Proto |
| 4 (Data Constructor) | Auth.Biscuit.Proto |
| block | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
| Block' | Auth.Biscuit.Datalog.AST |
| BlockCheck | Auth.Biscuit.Datalog.AST |
| BlockComment | Auth.Biscuit.Datalog.AST |
| blockContext | Auth.Biscuit |
| BlockElement | Auth.Biscuit.Datalog.AST |
| BlockElement' | Auth.Biscuit.Datalog.AST |
| BlockFact | Auth.Biscuit.Datalog.AST |
| blockParser | Auth.Biscuit.Datalog.Parser |
| BlockRule | Auth.Biscuit.Datalog.AST |
| Blocks | Auth.Biscuit.Crypto |
| blocks | Auth.Biscuit.Token |
| blockToPb | Auth.Biscuit.ProtoBufAdapter |
| BlockWithRevocationId | Auth.Biscuit.Datalog.ScopedExecutor |
| body | Auth.Biscuit.Datalog.AST |
| BOp | Auth.Biscuit.Datalog.AST |
| bRules | Auth.Biscuit.Datalog.AST |
| buildSymbolTable | Auth.Biscuit.ProtoBufAdapter |
| Check | Auth.Biscuit.Datalog.AST |
| check | Auth.Biscuit.Datalog.Parser |
| Check' | Auth.Biscuit.Datalog.AST |
| checkBiscuitSignatures | Auth.Biscuit.Token, Auth.Biscuit |
| checkCheck | Auth.Biscuit.Datalog.Executor |
| checkParser | Auth.Biscuit.Datalog.Parser |
| checkPolicy | Auth.Biscuit.Datalog.Executor |
| CheckV2 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| commonSymbols | Auth.Biscuit.ProtoBufAdapter |
| computeAllFacts | Auth.Biscuit.Datalog.ScopedExecutor |
| Contains | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| convert | Auth.Biscuit.Crypto |
| creation | Auth.Biscuit.Example |
| decodeBlock | Auth.Biscuit.Proto |
| decodeBlockList | Auth.Biscuit.Proto |
| defaultLimits | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| Deny | Auth.Biscuit.Datalog.AST |
| DenyRuleMatched | Auth.Biscuit.Datalog.Executor |
| Div | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| EBinary | Auth.Biscuit.Datalog.AST |
| Ed25519 | Auth.Biscuit.Proto |
| eitherCryptoError | Auth.Biscuit.Crypto |
| elementToAuthorizer | Auth.Biscuit.Datalog.AST |
| elementToBlock | Auth.Biscuit.Datalog.AST |
| encodeBlock | Auth.Biscuit.Proto |
| encodeBlockList | Auth.Biscuit.Proto |
| encoding | Auth.Biscuit.Token, Auth.Biscuit |
| Equal | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| EUnary | Auth.Biscuit.Datalog.AST |
| evaluateExpression | Auth.Biscuit.Datalog.Executor |
| EValue | Auth.Biscuit.Datalog.AST |
| ExecutionError | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| ExistingBlock | Auth.Biscuit.Token |
| Expression | Auth.Biscuit.Datalog.AST |
| Expression' | Auth.Biscuit.Datalog.AST |
| expressionParser | Auth.Biscuit.Datalog.Parser |
| expressions | Auth.Biscuit.Datalog.AST |
| ExpressionV2 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| extractSymbols | Auth.Biscuit.ProtoBufAdapter |
| Fact | Auth.Biscuit.Datalog.AST |
| fact | Auth.Biscuit.Datalog.Parser |
| Facts | Auth.Biscuit.Datalog.ScopedExecutor |
| facts | Auth.Biscuit.Datalog.ScopedExecutor |
| FactsInBlocks | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| FactV2 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| FailedChecks | Auth.Biscuit.Datalog.Executor |
| fromHex | Auth.Biscuit |
| fromOpen | Auth.Biscuit.Token, Auth.Biscuit |
| fromRevocationList | Auth.Biscuit |
| fromSealed | Auth.Biscuit.Token, Auth.Biscuit |
| fromStack | Auth.Biscuit.Datalog.AST |
| FromValue | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| fromValue | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| generateSecretKey | Auth.Biscuit.Crypto |
| getBindings | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| getBindingsForRuleBody | Auth.Biscuit.Datalog.Executor |
| getFactsForRule | Auth.Biscuit.Datalog.Executor |
| getField | Auth.Biscuit.Proto |
| getPublicKey | Auth.Biscuit.Token, Auth.Biscuit |
| getRevocationIds | Auth.Biscuit.Token, Auth.Biscuit |
| getSignatureProof | Auth.Biscuit.Crypto |
| getSingleVariableValue | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| getVariableValues | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| getVerifiedBiscuitPublicKey | Auth.Biscuit.Token, Auth.Biscuit |
| GreaterOrEqual | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| GreaterThan | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| HasParsers | Auth.Biscuit.Datalog.Parser |
| HasTermParsers | Auth.Biscuit.Datalog.Parser |
| InFact | Auth.Biscuit.Datalog.AST |
| InPredicate | Auth.Biscuit.Datalog.AST |
| Intersection | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| InvalidB64Encoding | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidHexEncoding | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidProof | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidProtobuf | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidProtobufSer | Auth.Biscuit.Token, Auth.Biscuit |
| InvalidSignatures | Auth.Biscuit.Token, Auth.Biscuit |
| isRevoked | Auth.Biscuit.Token, Auth.Biscuit |
| IsWithinSet | Auth.Biscuit.Datalog.AST |
| Iterations | Auth.Biscuit.Datalog.ScopedExecutor |
| LBool | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| LBytes | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| LDate | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| Length | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| LessOrEqual | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| LessThan | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Limits | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| limits | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| LInteger | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| listSymbolsInBlock | Auth.Biscuit.Datalog.AST |
| LString | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| matchedAllowQuery | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| MatchedQuery | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| matchedQuery | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| maxFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| maxIterations | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| maxTime | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| maybeCryptoError | Auth.Biscuit.Crypto |
| maybeToRight | Auth.Biscuit.Utils |
| mkBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
| Mul | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Name | Auth.Biscuit.Datalog.Executor |
| name | Auth.Biscuit.Datalog.AST |
| Negate | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| newSecret | Auth.Biscuit |
| NoPoliciesMatched | Auth.Biscuit.Datalog.Executor |
| NotWithinSet | Auth.Biscuit.Datalog.AST |
| Op | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Type/Class) | Auth.Biscuit.Proto |
| OpBinary | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Open | Auth.Biscuit.Token, Auth.Biscuit |
| OpenOrSealed | Auth.Biscuit.Token, Auth.Biscuit |
| OpTernary | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| OpUnary | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| OpVBinary | Auth.Biscuit.Proto |
| OpVUnary | Auth.Biscuit.Proto |
| OpVValue | Auth.Biscuit.Proto |
| Or | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Parens | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| parse | Auth.Biscuit |
| parseB64 | Auth.Biscuit |
| parseBiscuitUnverified | Auth.Biscuit.Token, Auth.Biscuit |
| parseBiscuitWith | Auth.Biscuit.Token |
| ParsedAs | Auth.Biscuit.Datalog.AST |
| ParsedSignedBlock | Auth.Biscuit.Token |
| ParseError | Auth.Biscuit.Token, Auth.Biscuit |
| parsePublicKey | Auth.Biscuit |
| parsePublicKeyHex | Auth.Biscuit |
| ParserConfig | |
| 1 (Type/Class) | Auth.Biscuit.Token, Auth.Biscuit |
| 2 (Data Constructor) | Auth.Biscuit.Token, Auth.Biscuit |
| parseSecretKey | Auth.Biscuit |
| parseSecretKeyHex | Auth.Biscuit |
| parseWith | Auth.Biscuit |
| pbToBlock | Auth.Biscuit.ProtoBufAdapter |
| pbToProof | Auth.Biscuit.ProtoBufAdapter |
| pbToSignedBlock | Auth.Biscuit.ProtoBufAdapter |
| Policy | Auth.Biscuit.Datalog.AST |
| Policy' | Auth.Biscuit.Datalog.AST |
| policyParser | Auth.Biscuit.Datalog.Parser |
| PolicyType | Auth.Biscuit.Datalog.AST |
| Predicate | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| predicate | Auth.Biscuit.Datalog.Parser |
| Predicate' | Auth.Biscuit.Datalog.AST |
| PredicateOrFact | Auth.Biscuit.Datalog.AST |
| predicateParser | Auth.Biscuit.Datalog.Parser |
| PredicateV2 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Prefix | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| privateKey' | Auth.Biscuit.Example |
| Proof | Auth.Biscuit.Proto |
| proof | Auth.Biscuit.Token |
| proofCheck | Auth.Biscuit.Token |
| ProofSecret | Auth.Biscuit.Proto |
| ProofSignature | Auth.Biscuit.Proto |
| PublicKey | |
| 1 (Type/Class) | Auth.Biscuit.Crypto, Auth.Biscuit |
| 2 (Type/Class) | Auth.Biscuit.Proto |
| 3 (Data Constructor) | Auth.Biscuit.Proto |
| publicKey | Auth.Biscuit.Crypto |
| publicKey' | Auth.Biscuit.Example |
| PureExecError | Auth.Biscuit.Datalog.ScopedExecutor |
| putField | Auth.Biscuit.Proto |
| qBody | Auth.Biscuit.Datalog.AST |
| qExpressions | Auth.Biscuit.Datalog.AST |
| QQTerm | Auth.Biscuit.Datalog.AST |
| QuasiQuote | Auth.Biscuit.Datalog.AST |
| Query | Auth.Biscuit.Datalog.AST |
| query | Auth.Biscuit.Datalog.Parser, Auth.Biscuit |
| Query' | Auth.Biscuit.Datalog.AST |
| queryAuthorizerFacts | Auth.Biscuit.Datalog.ScopedExecutor, Auth.Biscuit |
| QueryItem | Auth.Biscuit.Datalog.AST |
| QueryItem' | Auth.Biscuit.Datalog.AST |
| RawBytes | Auth.Biscuit.Token, Auth.Biscuit |
| Regex | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| RegularString | Auth.Biscuit.Datalog.AST |
| renderBlock | Auth.Biscuit.Datalog.AST |
| renderFact | Auth.Biscuit.Datalog.AST |
| renderRule | Auth.Biscuit.Datalog.AST |
| ResultError | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| 2 (Type/Class) | Auth.Biscuit.Datalog.Executor |
| RevokedBiscuit | Auth.Biscuit.Token, Auth.Biscuit |
| rhead | Auth.Biscuit.Datalog.AST |
| rootKeyId | Auth.Biscuit.Token |
| Rule | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| rule | Auth.Biscuit.Datalog.Parser |
| Rule' | Auth.Biscuit.Datalog.AST |
| ruleParser | Auth.Biscuit.Datalog.Parser |
| rules | Auth.Biscuit.Datalog.ScopedExecutor |
| RuleV2 | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| runAuthorizer | Auth.Biscuit.Datalog.ScopedExecutor |
| runAuthorizerNoTimeout | Auth.Biscuit.Datalog.ScopedExecutor |
| runAuthorizerWithLimits | Auth.Biscuit.Datalog.ScopedExecutor |
| runFactGeneration | Auth.Biscuit.Datalog.ScopedExecutor |
| seal | Auth.Biscuit.Token, Auth.Biscuit |
| Sealed | Auth.Biscuit.Token, Auth.Biscuit |
| SecretKey | Auth.Biscuit.Crypto, Auth.Biscuit |
| secretKey | Auth.Biscuit.Crypto |
| serialize | Auth.Biscuit |
| serializeB64 | Auth.Biscuit |
| serializeBiscuit | Auth.Biscuit.Token |
| serializePublicKey | Auth.Biscuit |
| serializePublicKeyHex | Auth.Biscuit |
| serializeSecretKey | Auth.Biscuit |
| serializeSecretKeyHex | Auth.Biscuit |
| SetType | Auth.Biscuit.Datalog.AST |
| Signature | Auth.Biscuit.Crypto |
| signature | Auth.Biscuit.Crypto |
| signBlock | Auth.Biscuit.Crypto |
| SignedBlock | |
| 1 (Type/Class) | Auth.Biscuit.Proto |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| 3 (Type/Class) | Auth.Biscuit.Crypto |
| signedBlockToPb | Auth.Biscuit.ProtoBufAdapter |
| Slice | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| SliceType | Auth.Biscuit.Datalog.AST |
| Sub | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Suffix | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Symbols | Auth.Biscuit.ProtoBufAdapter |
| symbols | Auth.Biscuit.Token |
| Term | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| Term' | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| TermBool | Auth.Biscuit.Proto |
| TermBytes | Auth.Biscuit.Proto |
| TermDate | Auth.Biscuit.Proto |
| TermInteger | Auth.Biscuit.Proto |
| termParser | Auth.Biscuit.Datalog.Parser |
| terms | Auth.Biscuit.Datalog.AST |
| TermSet | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| 2 (Type/Class) | Auth.Biscuit.Proto |
| 3 (Data Constructor) | Auth.Biscuit.Proto |
| TermString | Auth.Biscuit.Proto |
| TermTermSet | Auth.Biscuit.Proto |
| TermV2 | Auth.Biscuit.Proto |
| TermVariable | Auth.Biscuit.Proto |
| TernaryKind | Auth.Biscuit.Proto |
| Timeout | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| timer | Auth.Biscuit.Timer |
| TooManyFacts | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| TooManyIterations | Auth.Biscuit.Datalog.Executor, Auth.Biscuit |
| toPossibleProofs | Auth.Biscuit.Token |
| toPublic | Auth.Biscuit.Crypto, Auth.Biscuit |
| toSetTerm | Auth.Biscuit.Datalog.AST |
| toStack | Auth.Biscuit.Datalog.AST |
| ToTerm | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| toTerm | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| Unary | Auth.Biscuit.Datalog.AST |
| UnaryKind | Auth.Biscuit.Proto |
| Union | |
| 1 (Data Constructor) | Auth.Biscuit.Datalog.AST |
| 2 (Data Constructor) | Auth.Biscuit.Proto |
| Unverified | Auth.Biscuit.Token, Auth.Biscuit |
| UOp | Auth.Biscuit.Datalog.AST |
| UrlBase64 | Auth.Biscuit.Token, Auth.Biscuit |
| Value | Auth.Biscuit.Datalog.AST |
| Variable | Auth.Biscuit.Datalog.AST, Auth.Biscuit |
| VariableType | Auth.Biscuit.Datalog.AST |
| vBlock | Auth.Biscuit.Datalog.AST |
| verification | Auth.Biscuit.Example |
| Verified | Auth.Biscuit.Token, Auth.Biscuit |
| verifyBlocks | Auth.Biscuit.Crypto |
| VerifyEd25519Signature | Auth.Biscuit.Proto |
| verifySecretProof | Auth.Biscuit.Crypto |
| verifySignatureProof | Auth.Biscuit.Crypto |
| VOp | Auth.Biscuit.Datalog.AST |
| vPolicies | Auth.Biscuit.Datalog.AST |
| WithinSet | Auth.Biscuit.Datalog.AST |
| World | |
| 1 (Type/Class) | Auth.Biscuit.Datalog.ScopedExecutor |
| 2 (Data Constructor) | Auth.Biscuit.Datalog.ScopedExecutor |