{"header":{"message":"ok we're back to rust","description":null,"timestamp":"2023-11-02T04:46:22Z","authors":[{"email":"mail@mzhang.io","name":"Michael Zhang"}]},"hash":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC","authors":[],"deps":{"hashes":[["PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC","ok we're back to rust"],["AA",null],["75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC","progress"],["ID2WJIDOVGFNLXEJQAEHCKZ425N2FOB6TO2MVMW475MYNR2ONE2QC","ok fuck rescript"],["PMMOC2YIW57R7PHLDQ7GURO4ST5LKODR3WHGMAZTTW5X2Y6LFOBQC","update"],["IJD7EFTXP7IELHVVLJ6B3XYGUYAMXXKCPVYKGWC6L7D5ZA47QDYQC","init"]],"deps":["75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC","ID2WJIDOVGFNLXEJQAEHCKZ425N2FOB6TO2MVMW475MYNR2ONE2QC"],"known":["PMMOC2YIW57R7PHLDQ7GURO4ST5LKODR3WHGMAZTTW5X2Y6LFOBQC"]},"hunks":[{"FileAdd":{"meta":{"basename":"rustfmt.toml","metadata":0},"context":[{"change":6,"pos":2}],"contents":[{"Add":{"text":"tab_spaces = 2","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:20"}}]}},{"FileDel":{"deleted_names":[{"basename":"data.ts","metadata":0}],"del":{"EdgeMap":{"edges":[{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":2,"pos":3429},"to":{"change":2,"start":4921,"end":4952},"introduced_by":2},{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":2,"pos":4952},"to":{"change":2,"start":3448,"end":3448},"introduced_by":2}],"inode":{"change":2,"pos":3448}}},"content_edges":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":3448},"to":{"change":2,"start":3449,"end":4920},"introduced_by":2}],"inode":{"change":2,"pos":3448}},"content":[{"Del":{"text":"/**","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3452"}},{"Del":{"text":" * Terms e ::= x | () | λx. e | e e | (e : A)","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3499"}},{"Del":{"text":" * Types A, B, C ::= 1 | α | ^α | ∀α. A | A → B","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3554"}},{"Del":{"text":" * Monotypes τ, σ ::= 1 | α | ^α | τ → σ","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3603"}},{"Del":{"text":" * Contexts Γ, ∆, Θ ::= · | Γ, α | Γ, x : A","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3655"}},{"Del":{"text":" * | Γ, ^α | Γ, ^α = τ | Γ, I^α","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3715"}},{"Del":{"text":" * Complete Contexts Ω ::= · | Ω, α | Ω, x : A","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3767"}},{"Del":{"text":" * | Ω, ^α = τ | Ω, I^","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3815"}},{"Del":{"text":" */","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3819"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3820"}},{"Del":{"text":"export type Term =","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3839"}},{"Del":{"text":" | { kind: \"var\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3873"}},{"Del":{"text":" | { kind: \"unit\" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3894"}},{"Del":{"text":" | { kind: \"lambda\"; name: string; body: Term }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3943"}},{"Del":{"text":" | { kind: \"app\"; func: Term; arg: Term }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:3986"}},{"Del":{"text":" | { kind: \"annot\"; term: Term; type: Type };","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4033"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4034"}},{"Del":{"text":"export type Type =","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4053"}},{"Del":{"text":" | { kind: \"unit\" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4074"}},{"Del":{"text":" | { kind: \"var\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4108"}},{"Del":{"text":" | { kind: \"existential\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4150"}},{"Del":{"text":" | { kind: \"poly\"; name: string; type: Type }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4197"}},{"Del":{"text":" | { kind: \"arrow\"; input: Type; output: Type };","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4247"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4248"}},{"Del":{"text":"export type Monotype =","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4271"}},{"Del":{"text":" | { kind: \"unit\" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4292"}},{"Del":{"text":" | { kind: \"var\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4326"}},{"Del":{"text":" | { kind: \"existential\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4368"}},{"Del":{"text":" | { kind: \"arrow\"; input: Monotype; output: Monotype };","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4426"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4427"}},{"Del":{"text":"export type ContextEntry =","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4454"}},{"Del":{"text":" | { kind: \"typeVar\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4492"}},{"Del":{"text":" | { kind: \"termAnnot\"; name: string; type: Type }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4544"}},{"Del":{"text":" | { kind: \"existentialVar\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4589"}},{"Del":{"text":" | { kind: \"existentialSolved\"; name: string; type: Monotype }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4653"}},{"Del":{"text":" | { kind: \"marker\"; name: string };","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4691"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4692"}},{"Del":{"text":"export type CompleteContextEntry =","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4727"}},{"Del":{"text":" | { kind: \"typeVar\"; name: string }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4765"}},{"Del":{"text":" | { kind: \"termAnnot\"; name: string; type: Type }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4817"}},{"Del":{"text":" | { kind: \"existentialSolved\"; name: string; type: Monotype }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4881"}},{"Del":{"text":" | { kind: \"marker\"; name: string };","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:4919"}}]}},{"FileDel":{"deleted_names":[{"basename":"contexts.ts","metadata":0}],"del":{"EdgeMap":{"edges":[{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":2,"pos":3429},"to":{"change":2,"start":5418,"end":5453},"introduced_by":2},{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":2,"pos":5453},"to":{"change":2,"start":4954,"end":4954},"introduced_by":2}],"inode":{"change":2,"pos":4954}}},"content_edges":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":4954},"to":{"change":2,"start":4955,"end":5417},"introduced_by":2}],"inode":{"change":2,"pos":4954}},"content":[{"Del":{"text":"// Helper functions for dealing with contexts","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5000"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5001"}},{"Del":{"text":"import { ContextEntry, Type } from \"./data\";","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5046"}},{"Del":{"text":"import { isEqual } from \"lodash\";","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5080"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5081"}},{"Del":{"text":"/** Γ |- A (is the given type in this context?) */","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5133"}},{"Del":{"text":"export function isTypeInContext(type: Type, ctx: ContextEntry[]): boolean {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5209"}},{"Del":{"text":" for (const entry of ctx) {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5238"}},{"Del":{"text":" switch (entry.kind) {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5264"}},{"Del":{"text":" case \"termAnnot\":","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5288"}},{"Del":{"text":" if (isEqual(entry.type, type)) return true;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5340"}},{"Del":{"text":" break;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5355"}},{"Del":{"text":" default:","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5370"}},{"Del":{"text":" continue;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5388"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5394"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5398"}},{"Del":{"text":" return false;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5414"}},{"Del":{"text":"}","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5416"}}]}},{"FileDel":{"deleted_names":[{"basename":"bidir.ts","metadata":0}],"del":{"EdgeMap":{"edges":[{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":2,"pos":3429},"to":{"change":2,"start":6848,"end":6880},"introduced_by":2},{"previous":"BLOCK | FOLDER","flag":"BLOCK | FOLDER | DELETED","from":{"change":2,"pos":6880},"to":{"change":2,"start":5455,"end":5455},"introduced_by":2}],"inode":{"change":2,"pos":5455}}},"content_edges":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":5455},"to":{"change":2,"start":5456,"end":6847},"introduced_by":2}],"inode":{"change":2,"pos":5455}},"content":[{"Del":{"text":"import { isTypeInContext } from \"./contexts\";","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5501"}},{"Del":{"text":"import { ContextEntry, Term, Type } from \"./data\";","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5552"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5553"}},{"Del":{"text":"function check(","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5569"}},{"Del":{"text":" ctx: ContextEntry[],","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5592"}},{"Del":{"text":" term: Term,","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5606"}},{"Del":{"text":" type: Type","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5619"}},{"Del":{"text":"): [boolean, ContextEntry[]] {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5650"}},{"Del":{"text":" switch (term.kind) {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5673"}},{"Del":{"text":" case \"var\":","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5689"}},{"Del":{"text":" break;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5702"}},{"Del":{"text":" case \"unit\":","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5719"}},{"Del":{"text":" return [type.kind === \"unit\", ctx];","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5761"}},{"Del":{"text":" case \"lambda\": {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5782"}},{"Del":{"text":" // Get A and B first","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5809"}},{"Del":{"text":" if (type.kind !== \"arrow\") return [false, ctx];","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5863"}},{"Del":{"text":" const { input: A, output: B } = type;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5907"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5913"}},{"Del":{"text":" case \"app\":","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5929"}},{"Del":{"text":" break;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5942"}},{"Del":{"text":" case \"annot\":","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5960"}},{"Del":{"text":" break;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5973"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5977"}},{"Del":{"text":"}","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5979"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:5980"}},{"Del":{"text":"function synthesize(ctx: ContextEntry[], term: Term): [Type, ContextEntry[]] {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6059"}},{"Del":{"text":" switch (term.kind) {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6082"}},{"Del":{"text":" case \"var\": {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6100"}},{"Del":{"text":" const res = lookupTypeVariable(ctx, term.name);","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6154"}},{"Del":{"text":" if (!res) throw new Error(\"wtf?\");","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6195"}},{"Del":{"text":" return [res, ctx];","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6220"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6226"}},{"Del":{"text":" case \"unit\":","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6243"}},{"Del":{"text":" return [{ kind: \"unit\" }, ctx];","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6281"}},{"Del":{"text":" case \"lambda\": {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6302"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6308"}},{"Del":{"text":" case \"app\":","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6324"}},{"Del":{"text":" break;","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6337"}},{"Del":{"text":" case \"annot\": {","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6357"}},{"Del":{"text":" // Require that the type exists","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6395"}},{"Del":{"text":" if (!isTypeInContext(term.type, ctx))","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6439"}},{"Del":{"text":" throw new Error(\"type doesn't exist\");","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6486"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6487"}},{"Del":{"text":" // Require that the term checks against the type","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6542"}},{"Del":{"text":" const [result, outputCtx] = check(ctx, term.term, term.type);","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6610"}},{"Del":{"text":" if (!result) throw new Error(\"invalid annotation: term doesn't check\");","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6688"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6689"}},{"Del":{"text":" return [term.type, outputCtx];","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6726"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6732"}},{"Del":{"text":" }","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6736"}},{"Del":{"text":"}","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6738"}},{"Del":{"text":"","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6739"}},{"Del":{"text":"function synthesizeApp(","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6763"}},{"Del":{"text":" ctx: ContextEntry[],","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6786"}},{"Del":{"text":" funcType: Type,","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6804"}},{"Del":{"text":" term: Term","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6817"}},{"Del":{"text":"): [Type, ContextEntry[]] {}","pos":"75TM37DMPXA7YQPWZ4672OA3CUJNHYVIE5UFM2H6FHZMPGVMQS2AC:6846"}}]}},{"FileAdd":{"meta":{"basename":"tarpaulin-report.html","metadata":0},"context":[{"change":2,"pos":3429}],"contents":[{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:112"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:119"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:126"}},{"Add":{"text":" ","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153"}},{"Add":{"text":" ","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:1668"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:1676"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:1683"}},{"Add":{"text":"

","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:1709"}},{"Add":{"text":" ","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:13462"}},{"Add":{"text":" ","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:25959"}},{"Add":{"text":" ","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:144649"}},{"Add":{"text":" ","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152299"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152307"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152315"}}]}},{"FileAdd":{"meta":{"basename":"src","metadata":576},"context":[{"change":2,"pos":3429}],"contents":[]}},{"FileAdd":{"meta":{"basename":"tests.rs","metadata":0},"context":[{"change":0,"pos":152363}],"contents":[{"Add":{"text":"use anyhow::{bail, Result};","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152408"}},{"Add":{"text":"use im::Vector;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152424"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152425"}},{"Add":{"text":"use crate::{bidir::synthesize, data::Term};","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152469"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152470"}},{"Add":{"text":"#[test]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152478"}},{"Add":{"text":"fn test_id() -> Result<()> {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152507"}},{"Add":{"text":" let id = Term::Lam(\"x\".to_owned(), Box::new(Term::Var(\"x\".to_owned())));","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152582"}},{"Add":{"text":" let ctx = Vector::new();","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152609"}},{"Add":{"text":" let (ty, out_ctx) = synthesize(&ctx, &id)?;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152655"}},{"Add":{"text":" // bail!(\"Output: {ty:?} in context {out_ctx:?}\");","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152710"}},{"Add":{"text":" Ok(())","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152719"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152721"}}]}},{"FileAdd":{"meta":{"basename":"lib.rs","metadata":0},"context":[{"change":0,"pos":152363}],"contents":[{"Add":{"text":"mod bidir;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152768"}},{"Add":{"text":"mod data;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152778"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152779"}},{"Add":{"text":"mod gensym;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152791"}},{"Add":{"text":"#[cfg(test)]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152804"}},{"Add":{"text":"mod tests;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152815"}}]}},{"FileAdd":{"meta":{"basename":"gensym.rs","metadata":0},"context":[{"change":0,"pos":152363}],"contents":[{"Add":{"text":"use lazy_static::lazy_static;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152879"}},{"Add":{"text":"use parking_lot::Mutex;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152903"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152904"}},{"Add":{"text":"lazy_static! {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152919"}},{"Add":{"text":" static ref CTR: Mutex = Mutex::new(0);","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152967"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152969"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152970"}},{"Add":{"text":"pub fn gensym() -> String {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:152998"}},{"Add":{"text":" gensym_prefix(\"var\")","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153021"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153023"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153024"}},{"Add":{"text":"pub fn gensym_prefix(prefix: impl AsRef) -> String {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153082"}},{"Add":{"text":" let mut g = CTR.lock();","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153108"}},{"Add":{"text":" let ctr = *g;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153124"}},{"Add":{"text":" *g += 1;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153135"}},{"Add":{"text":" drop(g);","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153146"}},{"Add":{"text":" format!(\"{}{}\", prefix.as_ref(), ctr)","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153186"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153188"}}]}},{"FileAdd":{"meta":{"basename":"data.rs","metadata":0},"context":[{"change":0,"pos":152363}],"contents":[{"Add":{"text":"use im::Vector;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153241"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153242"}},{"Add":{"text":"#[derive(Debug, Clone)]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153266"}},{"Add":{"text":"pub enum Term {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153282"}},{"Add":{"text":" Unit,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153290"}},{"Add":{"text":" Var(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153305"}},{"Add":{"text":" Lam(String, Box),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153331"}},{"Add":{"text":" App(Box, Box),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153360"}},{"Add":{"text":" Annot(Box, Type),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153386"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153388"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153389"}},{"Add":{"text":"#[derive(Debug, Clone)]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153413"}},{"Add":{"text":"pub enum Type {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153429"}},{"Add":{"text":" Unit,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153437"}},{"Add":{"text":" Var(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153452"}},{"Add":{"text":" Existential(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153475"}},{"Add":{"text":" Polytype(String, Box),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153506"}},{"Add":{"text":" Arrow(Box, Box),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153537"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153539"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153540"}},{"Add":{"text":"#[derive(Debug, Clone)]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153564"}},{"Add":{"text":"pub enum Monotype {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153584"}},{"Add":{"text":" Unit,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153592"}},{"Add":{"text":" Var(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153607"}},{"Add":{"text":" Existential(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153630"}},{"Add":{"text":" Arrow(Box, Box),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153669"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153671"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153672"}},{"Add":{"text":"pub type Context = Vector;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153713"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153714"}},{"Add":{"text":"#[derive(Debug, Clone)]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153738"}},{"Add":{"text":"pub enum ContextEntry {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153762"}},{"Add":{"text":" TypeVar(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153781"}},{"Add":{"text":" TermAnnot(String, Type),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153808"}},{"Add":{"text":" ExistentialVar(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153834"}},{"Add":{"text":" ExistentialSolved(String, Monotype),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153873"}},{"Add":{"text":" Marker(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153891"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153893"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153894"}},{"Add":{"text":"#[derive(Debug, Clone)]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153918"}},{"Add":{"text":"pub enum CompleteContextEntry {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153950"}},{"Add":{"text":" TypeVar(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153969"}},{"Add":{"text":" TermAnnot(String, Type),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:153996"}},{"Add":{"text":" ExistentialSolved(String, Monotype),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154035"}},{"Add":{"text":" Marker(String),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154053"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154055"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154056"}},{"Add":{"text":"pub fn ctx_lookup_type(ctx: &Context, name: impl AsRef) -> Option {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154135"}},{"Add":{"text":" ctx.iter().find_map(|entry| match entry {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154179"}},{"Add":{"text":" ContextEntry::TermAnnot(n, t) if n == name.as_ref() => Some(t.clone()),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154255"}},{"Add":{"text":" _ => None,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154270"}},{"Add":{"text":" })","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154275"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154277"}}]}},{"FileAdd":{"meta":{"basename":"bidir.rs","metadata":0},"context":[{"change":0,"pos":152363}],"contents":[{"Add":{"text":"use anyhow::{bail, Result};","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154340"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154341"}},{"Add":{"text":"use crate::{","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154354"}},{"Add":{"text":" data::{ctx_lookup_type, Context, ContextEntry, Term, Type},","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154416"}},{"Add":{"text":" gensym::gensym_prefix,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154441"}},{"Add":{"text":"};","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154444"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154445"}},{"Add":{"text":"// Figure 8. Applying a context, as a substitution, to a type","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154507"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154508"}},{"Add":{"text":"pub fn app_ctx(ctx: &Context, ty: &Type) -> Type {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154559"}},{"Add":{"text":" match ty {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154572"}},{"Add":{"text":" Type::Existential(_) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154609"}},{"Add":{"text":" Type::Polytype(_, _) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154646"}},{"Add":{"text":" Type::Arrow(a, b) => Type::Arrow(Box::new(app_ctx(ctx, a)), Box::new(app_ctx(ctx, b))),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154738"}},{"Add":{"text":" _ => ty.clone(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154759"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154763"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154765"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154766"}},{"Add":{"text":"// Figure 9. Algorithmic subtyping","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154801"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154802"}},{"Add":{"text":"/// Under input context Γ , type A is a subtype of B, with output context ∆","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154881"}},{"Add":{"text":"pub fn subtype(ctx: &Context, a: &Type, b: &Type) -> Result {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:154952"}},{"Add":{"text":" println!(\"subtype(ctx = {ctx:?}, a = {a:?}, b = {b:?})\");","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155012"}},{"Add":{"text":" match (a, b) {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155029"}},{"Add":{"text":" // <:Unit rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155048"}},{"Add":{"text":" (Type::Unit, Type::Unit) => Ok(ctx.clone()),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155097"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155098"}},{"Add":{"text":" // <:Var rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155116"}},{"Add":{"text":" (Type::Var(x), Type::Var(y)) if x == y => {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155164"}},{"Add":{"text":" // Ensure that the name exists in the context","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155216"}},{"Add":{"text":" if !ctx.iter().any(|entry| match entry {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155263"}},{"Add":{"text":" ContextEntry::ExistentialVar(z) if x == z => true,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155322"}},{"Add":{"text":" _ => false,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155342"}},{"Add":{"text":" }) {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155353"}},{"Add":{"text":" bail!(\"name {x} not in context\");","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155395"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155403"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155404"}},{"Add":{"text":" Ok(ctx.clone())","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155426"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155432"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155433"}},{"Add":{"text":" (Type::Existential(_), Type::Unit) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155484"}},{"Add":{"text":" (Type::Existential(_), Type::Var(_)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155537"}},{"Add":{"text":" (Type::Existential(_), Type::Existential(_)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155598"}},{"Add":{"text":" (Type::Existential(_), Type::Polytype(_, _)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155659"}},{"Add":{"text":" (Type::Existential(_), Type::Arrow(_, _)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155717"}},{"Add":{"text":" (Type::Polytype(_, _), Type::Unit) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155768"}},{"Add":{"text":" (Type::Polytype(_, _), Type::Var(_)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155821"}},{"Add":{"text":" (Type::Polytype(_, _), Type::Existential(_)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155882"}},{"Add":{"text":" (Type::Polytype(_, _), Type::Polytype(_, _)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:155943"}},{"Add":{"text":" (Type::Polytype(_, _), Type::Arrow(_, _)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156001"}},{"Add":{"text":" (Type::Arrow(_, _), Type::Unit) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156049"}},{"Add":{"text":" (Type::Arrow(_, _), Type::Var(_)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156099"}},{"Add":{"text":" (Type::Arrow(_, _), Type::Existential(_)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156157"}},{"Add":{"text":" (Type::Arrow(_, _), Type::Polytype(_, _)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156215"}},{"Add":{"text":" (Type::Arrow(_, _), Type::Arrow(_, _)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156270"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156271"}},{"Add":{"text":" _ => bail!(\"subtyping relation failed\"),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156316"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156320"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156322"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156323"}},{"Add":{"text":"// Figure 10. Instantiation","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156351"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156352"}},{"Add":{"text":"// Figure 11. Algorithmic typing","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156385"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156386"}},{"Add":{"text":"pub fn typecheck(ctx: &Context, term: &Term, ty: &Type) -> Result {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156463"}},{"Add":{"text":" println!(\"typecheck(ctx = {ctx:?}, term = {term:?}, ty = {ty:?})\");","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156533"}},{"Add":{"text":" match (term, ty) {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156554"}},{"Add":{"text":" // 1I rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156569"}},{"Add":{"text":" (Term::Unit, Type::Unit) => Ok(ctx.clone()),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156618"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156619"}},{"Add":{"text":" // ∀I rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156636"}},{"Add":{"text":" (e, Type::Polytype(x, tyA)) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156680"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156681"}},{"Add":{"text":" // →I rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156698"}},{"Add":{"text":" (Term::Lam(x, e), Type::Arrow(ty_a, ty_b)) => {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156750"}},{"Add":{"text":" let mut aug_ctx = ctx.clone();","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156787"}},{"Add":{"text":" todo!()","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156801"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156807"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156808"}},{"Add":{"text":" // Sub rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156824"}},{"Add":{"text":" (term, ty) => {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156844"}},{"Add":{"text":" let (ty_a, ctx_theta) = synthesize(ctx, term)?;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156898"}},{"Add":{"text":" let a = app_ctx(&ctx_theta, &ty_a);","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156940"}},{"Add":{"text":" let b = app_ctx(&ctx_theta, ty);","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:156979"}},{"Add":{"text":" let ctx_delta = subtype(&ctx_theta, &a, &b)?;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157031"}},{"Add":{"text":" Ok(ctx_delta)","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157051"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157057"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157061"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157063"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157064"}},{"Add":{"text":"pub fn synthesize(ctx: &Context, term: &Term) -> Result<(Type, Context)> {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157139"}},{"Add":{"text":" println!(\"synthesize(ctx = {ctx:?}, term = {term:?}\");","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157196"}},{"Add":{"text":" match term {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157211"}},{"Add":{"text":" // Var rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157227"}},{"Add":{"text":" Term::Var(name) => {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157252"}},{"Add":{"text":" let ty = match ctx_lookup_type(ctx, name) {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157302"}},{"Add":{"text":" Some(v) => v,","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157324"}},{"Add":{"text":" None => bail!(\"could not find name {name}\"),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157377"}},{"Add":{"text":" };","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157386"}},{"Add":{"text":" Ok((ty, ctx.clone()))","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157414"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157420"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157421"}},{"Add":{"text":" // 1I⇒ rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157439"}},{"Add":{"text":" Term::Unit => Ok((Type::Unit, ctx.clone())),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157488"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157489"}},{"Add":{"text":" // Anno rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157506"}},{"Add":{"text":" Term::Annot(_, _) => todo!(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157540"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157541"}},{"Add":{"text":" // →I⇒ rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157561"}},{"Add":{"text":" Term::Lam(x, e) => {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157586"}},{"Add":{"text":" let mut aug_ctx = ctx.clone();","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157623"}},{"Add":{"text":" let ex_a = gensym_prefix(\"ex\");","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157661"}},{"Add":{"text":" let ex_b = gensym_prefix(\"ex\");","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157699"}},{"Add":{"text":" aug_ctx.push_back(ContextEntry::TypeVar(ex_a.clone()));","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157761"}},{"Add":{"text":" aug_ctx.push_back(ContextEntry::TypeVar(ex_b.clone()));","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157823"}},{"Add":{"text":" aug_ctx.push_back(ContextEntry::TermAnnot(x.clone(), Type::Var(ex_a.clone())));","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157909"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157910"}},{"Add":{"text":" let res = typecheck(&aug_ctx, &e, &Type::Var(ex_b.clone()));","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157977"}},{"Add":{"text":" Ok((","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:157988"}},{"Add":{"text":" Type::Arrow(","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158009"}},{"Add":{"text":" Box::new(Type::Existential(ex_a)),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158054"}},{"Add":{"text":" Box::new(Type::Existential(ex_b)),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158099"}},{"Add":{"text":" ),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158110"}},{"Add":{"text":" ctx.clone(),","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158131"}},{"Add":{"text":" ))","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158140"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158146"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158147"}},{"Add":{"text":" // →E rule","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158164"}},{"Add":{"text":" Term::App(e1, e2) => {","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158191"}},{"Add":{"text":" let (tyA, out_ctx) = synthesize(ctx, e1)?;","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158240"}},{"Add":{"text":" todo!()","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158254"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158260"}},{"Add":{"text":" }","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158264"}},{"Add":{"text":"}","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158266"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.toml","metadata":0},"context":[{"change":2,"pos":3429}],"contents":[{"Add":{"text":"[package]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158312"}},{"Add":{"text":"name = \"bidir\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158327"}},{"Add":{"text":"version = \"0.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158345"}},{"Add":{"text":"edition = \"2021\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158362"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158363"}},{"Add":{"text":"# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158460"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158461"}},{"Add":{"text":"[dependencies]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158476"}},{"Add":{"text":"anyhow = \"1.0.75\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158494"}},{"Add":{"text":"im = \"15.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158508"}},{"Add":{"text":"lazy_static = \"1.4.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158530"}},{"Add":{"text":"parking_lot = \"0.12.1\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158553"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.lock","metadata":0},"context":[{"change":2,"pos":3429}],"contents":[{"Add":{"text":"# This file is automatically @generated by Cargo.","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158641"}},{"Add":{"text":"# It is not intended for manual editing.","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158682"}},{"Add":{"text":"version = 3","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158694"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158695"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158707"}},{"Add":{"text":"name = \"anyhow\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158723"}},{"Add":{"text":"version = \"1.0.75\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158742"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158807"}},{"Add":{"text":"checksum = \"a4668cab20f66d8d020e1fbc0ebe47217433c1b6c8f2040faf858554e394ace6\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158885"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158886"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158898"}},{"Add":{"text":"name = \"autocfg\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158915"}},{"Add":{"text":"version = \"1.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158933"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:158998"}},{"Add":{"text":"checksum = \"d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159076"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159077"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159089"}},{"Add":{"text":"name = \"bidir\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159104"}},{"Add":{"text":"version = \"0.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159122"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159139"}},{"Add":{"text":" \"anyhow\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159150"}},{"Add":{"text":" \"im\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159157"}},{"Add":{"text":" \"lazy_static\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159173"}},{"Add":{"text":" \"parking_lot\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159189"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159191"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159192"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159204"}},{"Add":{"text":"name = \"bitflags\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159222"}},{"Add":{"text":"version = \"1.3.2\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159240"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159305"}},{"Add":{"text":"checksum = \"bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159383"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159384"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159396"}},{"Add":{"text":"name = \"bitmaps\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159413"}},{"Add":{"text":"version = \"2.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159431"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159496"}},{"Add":{"text":"checksum = \"031043d04099746d8db04daf1fa424b2bc8bd69d92b25962dcde24da39ab64a2\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159574"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159591"}},{"Add":{"text":" \"typenum\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159603"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159605"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159606"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159618"}},{"Add":{"text":"name = \"cfg-if\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159634"}},{"Add":{"text":"version = \"1.0.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159652"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159717"}},{"Add":{"text":"checksum = \"baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159795"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159796"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159808"}},{"Add":{"text":"name = \"im\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159820"}},{"Add":{"text":"version = \"15.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159839"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159904"}},{"Add":{"text":"checksum = \"d0acd33ff0285af998aaf9b57342af478078f53492322fafc47450e09397e0e9\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159982"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:159999"}},{"Add":{"text":" \"bitmaps\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160011"}},{"Add":{"text":" \"rand_core\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160025"}},{"Add":{"text":" \"rand_xoshiro\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160042"}},{"Add":{"text":" \"sized-chunks\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160059"}},{"Add":{"text":" \"typenum\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160071"}},{"Add":{"text":" \"version_check\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160089"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160091"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160092"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160104"}},{"Add":{"text":"name = \"lazy_static\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160125"}},{"Add":{"text":"version = \"1.4.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160143"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160208"}},{"Add":{"text":"checksum = \"e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160286"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160287"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160299"}},{"Add":{"text":"name = \"libc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160313"}},{"Add":{"text":"version = \"0.2.149\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160333"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160398"}},{"Add":{"text":"checksum = \"a08173bc88b7955d1b3145aa561539096c421ac8debde8cbc3612ec635fee29b\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160476"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160477"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160489"}},{"Add":{"text":"name = \"lock_api\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160507"}},{"Add":{"text":"version = \"0.4.11\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160526"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160591"}},{"Add":{"text":"checksum = \"3c168f8615b12bc01f9c17e2eb0cc07dcae1940121185446edc3744920e8ef45\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160669"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160686"}},{"Add":{"text":" \"autocfg\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160698"}},{"Add":{"text":" \"scopeguard\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160713"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160715"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160716"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160728"}},{"Add":{"text":"name = \"parking_lot\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160749"}},{"Add":{"text":"version = \"0.12.1\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160768"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160833"}},{"Add":{"text":"checksum = \"3742b2c103b9f06bc9fff0a37ff4912935851bee6d36f3c02bcc755bcfec228f\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160911"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160928"}},{"Add":{"text":" \"lock_api\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160941"}},{"Add":{"text":" \"parking_lot_core\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160962"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160964"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160965"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:160977"}},{"Add":{"text":"name = \"parking_lot_core\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161003"}},{"Add":{"text":"version = \"0.9.9\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161021"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161086"}},{"Add":{"text":"checksum = \"4c42a9226546d68acdd9c0a280d17ce19bfe27a46bf68784e4066115788d008e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161164"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161181"}},{"Add":{"text":" \"cfg-if\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161192"}},{"Add":{"text":" \"libc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161201"}},{"Add":{"text":" \"redox_syscall\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161219"}},{"Add":{"text":" \"smallvec\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161232"}},{"Add":{"text":" \"windows-targets\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161252"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161254"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161255"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161267"}},{"Add":{"text":"name = \"rand_core\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161286"}},{"Add":{"text":"version = \"0.6.4\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161304"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161369"}},{"Add":{"text":"checksum = \"ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161447"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161448"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161460"}},{"Add":{"text":"name = \"rand_xoshiro\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161482"}},{"Add":{"text":"version = \"0.6.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161500"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161565"}},{"Add":{"text":"checksum = \"6f97cdb2a36ed4183de61b2f824cc45c9f1037f28afe0a322e9fff4c108b5aaa\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161643"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161660"}},{"Add":{"text":" \"rand_core\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161674"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161676"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161677"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161689"}},{"Add":{"text":"name = \"redox_syscall\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161712"}},{"Add":{"text":"version = \"0.4.1\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161730"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161795"}},{"Add":{"text":"checksum = \"4722d768eff46b75989dd134e5c353f0d6296e5aaa3132e776cbdb56be7731aa\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161873"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161890"}},{"Add":{"text":" \"bitflags\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161903"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161905"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161906"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161918"}},{"Add":{"text":"name = \"scopeguard\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161938"}},{"Add":{"text":"version = \"1.2.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:161956"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162021"}},{"Add":{"text":"checksum = \"94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162099"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162100"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162112"}},{"Add":{"text":"name = \"sized-chunks\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162134"}},{"Add":{"text":"version = \"0.6.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162152"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162217"}},{"Add":{"text":"checksum = \"16d69225bde7a69b235da73377861095455d298f2b970996eec25ddbb42b3d1e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162295"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162312"}},{"Add":{"text":" \"bitmaps\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162324"}},{"Add":{"text":" \"typenum\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162336"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162338"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162339"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162351"}},{"Add":{"text":"name = \"smallvec\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162369"}},{"Add":{"text":"version = \"1.11.1\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162388"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162453"}},{"Add":{"text":"checksum = \"942b4a808e05215192e39f4ab80813e599068285906cc91aa64f923db842bd5a\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162531"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162532"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162544"}},{"Add":{"text":"name = \"typenum\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162561"}},{"Add":{"text":"version = \"1.17.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162580"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162645"}},{"Add":{"text":"checksum = \"42ff0bf0c66b8238c6f3b578df37d0b7848e55df8577b3f74f92a69acceeb825\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162723"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162724"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162736"}},{"Add":{"text":"name = \"version_check\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162759"}},{"Add":{"text":"version = \"0.9.4\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162777"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162842"}},{"Add":{"text":"checksum = \"49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162920"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162921"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162933"}},{"Add":{"text":"name = \"windows-targets\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162958"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:162977"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163042"}},{"Add":{"text":"checksum = \"9a2fa6e2155d7247be68c096456083145c183cbbbc2764150dda45a87197940c\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163120"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163137"}},{"Add":{"text":" \"windows_aarch64_gnullvm\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163165"}},{"Add":{"text":" \"windows_aarch64_msvc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163190"}},{"Add":{"text":" \"windows_i686_gnu\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163211"}},{"Add":{"text":" \"windows_i686_msvc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163233"}},{"Add":{"text":" \"windows_x86_64_gnu\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163256"}},{"Add":{"text":" \"windows_x86_64_gnullvm\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163283"}},{"Add":{"text":" \"windows_x86_64_msvc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163307"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163309"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163310"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163322"}},{"Add":{"text":"name = \"windows_aarch64_gnullvm\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163355"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163374"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163439"}},{"Add":{"text":"checksum = \"2b38e32f0abccf9987a4e3079dfb67dcd799fb61361e53e2882c3cbaf0d905d8\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163517"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163518"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163530"}},{"Add":{"text":"name = \"windows_aarch64_msvc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163560"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163579"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163644"}},{"Add":{"text":"checksum = \"dc35310971f3b2dbbf3f0690a219f40e2d9afcf64f9ab7cc1be722937c26b4bc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163722"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163723"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163735"}},{"Add":{"text":"name = \"windows_i686_gnu\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163761"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163780"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163845"}},{"Add":{"text":"checksum = \"a75915e7def60c94dcef72200b9a8e58e5091744960da64ec734a6c6e9b3743e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163923"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163924"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163936"}},{"Add":{"text":"name = \"windows_i686_msvc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163963"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:163982"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164047"}},{"Add":{"text":"checksum = \"8f55c233f70c4b27f66c523580f78f1004e8b5a8b659e05a4eb49d4166cca406\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164125"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164126"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164138"}},{"Add":{"text":"name = \"windows_x86_64_gnu\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164166"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164185"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164250"}},{"Add":{"text":"checksum = \"53d40abd2583d23e4718fddf1ebec84dbff8381c07cae67ff7768bbf19c6718e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164328"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164329"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164341"}},{"Add":{"text":"name = \"windows_x86_64_gnullvm\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164373"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164392"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164457"}},{"Add":{"text":"checksum = \"0b7b52767868a23d5bab768e390dc5f5c55825b6d30b86c844ff2dc7414044cc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164535"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164536"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164548"}},{"Add":{"text":"name = \"windows_x86_64_msvc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164577"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164596"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164661"}},{"Add":{"text":"checksum = \"ed94fce61571a4006852b7389a063ab983c02eb1bb37b47f8272ce92d06d9538\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164739"}}]}},{"FileAdd":{"meta":{"basename":".gitignore","metadata":0},"context":[{"change":2,"pos":3429}],"contents":[{"Add":{"text":"target","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164784"}}]}},{"FileAdd":{"meta":{"basename":"Makefile","metadata":0},"context":[{"change":6,"pos":2}],"contents":[{"Add":{"text":".PHONY: doc","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164836"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164837"}},{"Add":{"text":"doc:","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164842"}},{"Add":{"text":"\tcargo doc --workspace --no-deps --document-private-items","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164900"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.toml","metadata":0},"context":[{"change":6,"pos":2}],"contents":[{"Add":{"text":"[workspace]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164947"}},{"Add":{"text":"resolver = \"2\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164962"}},{"Add":{"text":"members = [\"bidir\"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:164982"}}]}},{"FileAdd":{"meta":{"basename":"Cargo.lock","metadata":0},"context":[{"change":6,"pos":2}],"contents":[{"Add":{"text":"# This file is automatically @generated by Cargo.","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165070"}},{"Add":{"text":"# It is not intended for manual editing.","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165111"}},{"Add":{"text":"version = 3","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165123"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165124"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165136"}},{"Add":{"text":"name = \"anyhow\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165152"}},{"Add":{"text":"version = \"1.0.75\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165171"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165236"}},{"Add":{"text":"checksum = \"a4668cab20f66d8d020e1fbc0ebe47217433c1b6c8f2040faf858554e394ace6\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165314"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165315"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165327"}},{"Add":{"text":"name = \"autocfg\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165344"}},{"Add":{"text":"version = \"1.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165362"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165427"}},{"Add":{"text":"checksum = \"d468802bab17cbc0cc575e9b053f41e72aa36bfa6b7f55e3529ffa43161b97fa\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165505"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165506"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165518"}},{"Add":{"text":"name = \"bidir\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165533"}},{"Add":{"text":"version = \"0.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165551"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165568"}},{"Add":{"text":" \"anyhow\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165579"}},{"Add":{"text":" \"im\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165586"}},{"Add":{"text":" \"lazy_static\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165602"}},{"Add":{"text":" \"parking_lot\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165618"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165620"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165621"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165633"}},{"Add":{"text":"name = \"bitflags\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165651"}},{"Add":{"text":"version = \"1.3.2\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165669"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165734"}},{"Add":{"text":"checksum = \"bef38d45163c2f1dde094a7dfd33ccf595c92905c8f8f4fdc18d06fb1037718a\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165812"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165813"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165825"}},{"Add":{"text":"name = \"bitmaps\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165842"}},{"Add":{"text":"version = \"2.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165860"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:165925"}},{"Add":{"text":"checksum = \"031043d04099746d8db04daf1fa424b2bc8bd69d92b25962dcde24da39ab64a2\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166003"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166020"}},{"Add":{"text":" \"typenum\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166032"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166034"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166035"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166047"}},{"Add":{"text":"name = \"cfg-if\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166063"}},{"Add":{"text":"version = \"1.0.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166081"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166146"}},{"Add":{"text":"checksum = \"baf1de4339761588bc0619e3cbc0120ee582ebb74b53b4efbf79117bd2da40fd\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166224"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166225"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166237"}},{"Add":{"text":"name = \"im\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166249"}},{"Add":{"text":"version = \"15.1.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166268"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166333"}},{"Add":{"text":"checksum = \"d0acd33ff0285af998aaf9b57342af478078f53492322fafc47450e09397e0e9\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166411"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166428"}},{"Add":{"text":" \"bitmaps\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166440"}},{"Add":{"text":" \"rand_core\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166454"}},{"Add":{"text":" \"rand_xoshiro\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166471"}},{"Add":{"text":" \"sized-chunks\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166488"}},{"Add":{"text":" \"typenum\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166500"}},{"Add":{"text":" \"version_check\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166518"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166520"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166521"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166533"}},{"Add":{"text":"name = \"lazy_static\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166554"}},{"Add":{"text":"version = \"1.4.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166572"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166637"}},{"Add":{"text":"checksum = \"e2abad23fbc42b3700f2f279844dc832adb2b2eb069b2df918f455c4e18cc646\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166715"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166716"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166728"}},{"Add":{"text":"name = \"libc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166742"}},{"Add":{"text":"version = \"0.2.149\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166762"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166827"}},{"Add":{"text":"checksum = \"a08173bc88b7955d1b3145aa561539096c421ac8debde8cbc3612ec635fee29b\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166905"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166906"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166918"}},{"Add":{"text":"name = \"lock_api\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166936"}},{"Add":{"text":"version = \"0.4.11\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:166955"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167020"}},{"Add":{"text":"checksum = \"3c168f8615b12bc01f9c17e2eb0cc07dcae1940121185446edc3744920e8ef45\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167098"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167115"}},{"Add":{"text":" \"autocfg\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167127"}},{"Add":{"text":" \"scopeguard\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167142"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167144"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167145"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167157"}},{"Add":{"text":"name = \"parking_lot\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167178"}},{"Add":{"text":"version = \"0.12.1\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167197"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167262"}},{"Add":{"text":"checksum = \"3742b2c103b9f06bc9fff0a37ff4912935851bee6d36f3c02bcc755bcfec228f\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167340"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167357"}},{"Add":{"text":" \"lock_api\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167370"}},{"Add":{"text":" \"parking_lot_core\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167391"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167393"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167394"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167406"}},{"Add":{"text":"name = \"parking_lot_core\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167432"}},{"Add":{"text":"version = \"0.9.9\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167450"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167515"}},{"Add":{"text":"checksum = \"4c42a9226546d68acdd9c0a280d17ce19bfe27a46bf68784e4066115788d008e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167593"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167610"}},{"Add":{"text":" \"cfg-if\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167621"}},{"Add":{"text":" \"libc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167630"}},{"Add":{"text":" \"redox_syscall\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167648"}},{"Add":{"text":" \"smallvec\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167661"}},{"Add":{"text":" \"windows-targets\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167681"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167683"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167684"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167696"}},{"Add":{"text":"name = \"rand_core\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167715"}},{"Add":{"text":"version = \"0.6.4\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167733"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167798"}},{"Add":{"text":"checksum = \"ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167876"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167877"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167889"}},{"Add":{"text":"name = \"rand_xoshiro\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167911"}},{"Add":{"text":"version = \"0.6.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167929"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:167994"}},{"Add":{"text":"checksum = \"6f97cdb2a36ed4183de61b2f824cc45c9f1037f28afe0a322e9fff4c108b5aaa\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168072"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168089"}},{"Add":{"text":" \"rand_core\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168103"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168105"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168106"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168118"}},{"Add":{"text":"name = \"redox_syscall\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168141"}},{"Add":{"text":"version = \"0.4.1\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168159"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168224"}},{"Add":{"text":"checksum = \"4722d768eff46b75989dd134e5c353f0d6296e5aaa3132e776cbdb56be7731aa\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168302"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168319"}},{"Add":{"text":" \"bitflags\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168332"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168334"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168335"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168347"}},{"Add":{"text":"name = \"scopeguard\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168367"}},{"Add":{"text":"version = \"1.2.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168385"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168450"}},{"Add":{"text":"checksum = \"94143f37725109f92c262ed2cf5e59bce7498c01bcc1502d7b9afe439a4e9f49\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168528"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168529"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168541"}},{"Add":{"text":"name = \"sized-chunks\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168563"}},{"Add":{"text":"version = \"0.6.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168581"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168646"}},{"Add":{"text":"checksum = \"16d69225bde7a69b235da73377861095455d298f2b970996eec25ddbb42b3d1e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168724"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168741"}},{"Add":{"text":" \"bitmaps\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168753"}},{"Add":{"text":" \"typenum\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168765"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168767"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168768"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168780"}},{"Add":{"text":"name = \"smallvec\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168798"}},{"Add":{"text":"version = \"1.11.1\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168817"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168882"}},{"Add":{"text":"checksum = \"942b4a808e05215192e39f4ab80813e599068285906cc91aa64f923db842bd5a\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168960"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168961"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168973"}},{"Add":{"text":"name = \"typenum\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:168990"}},{"Add":{"text":"version = \"1.17.0\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169009"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169074"}},{"Add":{"text":"checksum = \"42ff0bf0c66b8238c6f3b578df37d0b7848e55df8577b3f74f92a69acceeb825\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169152"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169153"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169165"}},{"Add":{"text":"name = \"version_check\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169188"}},{"Add":{"text":"version = \"0.9.4\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169206"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169271"}},{"Add":{"text":"checksum = \"49874b5167b65d7193b8aba1567f5c7d93d001cafc34600cee003eda787e483f\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169349"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169350"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169362"}},{"Add":{"text":"name = \"windows-targets\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169387"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169406"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169471"}},{"Add":{"text":"checksum = \"9a2fa6e2155d7247be68c096456083145c183cbbbc2764150dda45a87197940c\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169549"}},{"Add":{"text":"dependencies = [","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169566"}},{"Add":{"text":" \"windows_aarch64_gnullvm\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169594"}},{"Add":{"text":" \"windows_aarch64_msvc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169619"}},{"Add":{"text":" \"windows_i686_gnu\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169640"}},{"Add":{"text":" \"windows_i686_msvc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169662"}},{"Add":{"text":" \"windows_x86_64_gnu\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169685"}},{"Add":{"text":" \"windows_x86_64_gnullvm\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169712"}},{"Add":{"text":" \"windows_x86_64_msvc\",","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169736"}},{"Add":{"text":"]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169738"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169739"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169751"}},{"Add":{"text":"name = \"windows_aarch64_gnullvm\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169784"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169803"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169868"}},{"Add":{"text":"checksum = \"2b38e32f0abccf9987a4e3079dfb67dcd799fb61361e53e2882c3cbaf0d905d8\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169946"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169947"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169959"}},{"Add":{"text":"name = \"windows_aarch64_msvc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:169989"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170008"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170073"}},{"Add":{"text":"checksum = \"dc35310971f3b2dbbf3f0690a219f40e2d9afcf64f9ab7cc1be722937c26b4bc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170151"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170152"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170164"}},{"Add":{"text":"name = \"windows_i686_gnu\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170190"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170209"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170274"}},{"Add":{"text":"checksum = \"a75915e7def60c94dcef72200b9a8e58e5091744960da64ec734a6c6e9b3743e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170352"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170353"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170365"}},{"Add":{"text":"name = \"windows_i686_msvc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170392"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170411"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170476"}},{"Add":{"text":"checksum = \"8f55c233f70c4b27f66c523580f78f1004e8b5a8b659e05a4eb49d4166cca406\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170554"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170555"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170567"}},{"Add":{"text":"name = \"windows_x86_64_gnu\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170595"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170614"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170679"}},{"Add":{"text":"checksum = \"53d40abd2583d23e4718fddf1ebec84dbff8381c07cae67ff7768bbf19c6718e\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170757"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170758"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170770"}},{"Add":{"text":"name = \"windows_x86_64_gnullvm\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170802"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170821"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170886"}},{"Add":{"text":"checksum = \"0b7b52767868a23d5bab768e390dc5f5c55825b6d30b86c844ff2dc7414044cc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170964"}},{"Add":{"text":"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170965"}},{"Add":{"text":"[[package]]","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:170977"}},{"Add":{"text":"name = \"windows_x86_64_msvc\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:171006"}},{"Add":{"text":"version = \"0.48.5\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:171025"}},{"Add":{"text":"source = \"registry+https://github.com/rust-lang/crates.io-index\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:171090"}},{"Add":{"text":"checksum = \"ed94fce61571a4006852b7389a063ab983c02eb1bb37b47f8272ce92d06d9538\"","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:171168"}}]}},{"Replacement":{"inode":{"change":6,"pos":92182},"path":".gitignore","line":12,"ins":{"up_context":[{"change":3,"pos":280629}],"down_context":[],"flag":"BLOCK","start":171206,"end":171225,"inode":{"change":6,"pos":92182}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":280629},"to":{"change":3,"start":280629,"end":280641},"introduced_by":3}],"inode":{"change":6,"pos":92182}},"ins_contents":[{"Add":{"text":"src/**/*.mjs","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:171218"}},{"Add":{"text":"target","pos":"PZXACJ5I3AGTX7TL26N2R35DPBKMRSVKNQA4GA473DSA4NHUHNDQC:171225"}}],"del_contents":[{"Del":{"text":"src/**/*.mjs","pos":"ID2WJIDOVGFNLXEJQAEHCKZ425N2FOB6TO2MVMW475MYNR2ONE2QC:280641"}}]}}],"owner":"iptq","repo":"csci8980-f23","token":"s0ji5iDBjGKM2hEI2CEAMmEaWC+0up9dJ8p5TPJVeoY=","login":null}

…

Dependencies

Change contents

Review