Îõ³h&ÒÀ      !"#$%&'()*+,-./0123456789:;<=>?)Variable binding for abstract syntax tree(c) 2023 Keito KajitaniMIT#Keito Kajitani  Safe-Inferred6ÂÄÅÉÌÚÜï`binder;Representation of under-construction things having type a and containing variables.binder m b.binderThe name of variable.binderSmart constructor for .binder&Create a new variable with given name.binder+ is closed if it exposes no free variables.binder(Check if the variable occurs in the box.binder*Pick out and complete the construction of a.$binder Essentially, BinderList a m b means  [a] -> m b.)binderVariable substitution.*binder unbinding+binder Check if two bindings are equal.,binderSmart constructor for  .-binderbinding3binderThe names of variables.4binder Smart constructor for a list of .5binder&Create new variables with given names.:binderVariable substitution.;binder unbinding<binder Check if two bindings are equal.@binder"Smart constructor for 'BinderList.=binderbinding7 $%&'()*+,-./0123456789:;<=>?7  '(&),-*+./%012345$7689:<=;>?Á      !"#$%&'()*+,-./0123456789:;<=>?@ABÃ!binder-0.2-4zIOphtwECqEuDqctXX08J Data.BinderBoxVarMonadNumbering Numbering numbering$fApplicativeClosure$fFunctorClosure$fOrdVar$fEqVarvar'KeyBindervar'Name var'mkFreevar'BoxnameOfboxVarnewVarisClosedoccurunboxboxapBoxboxApply boxApply2 boxApply3 boxApply4boxPair boxTripleboxTboxListboxJoin$fApplicativeBox $fFunctorBox $fShowAnyVar $fShowVarBody $fShowVar BinderListVarList binder'Body binder'Name binder'mkFreesubstunbindeqBinder buildBinderbind boxBinder bindApply varList'Keys varList'Names varList'BoxesnamesOf boxVarList newVarListbinderList'BodybinderList'NamesbinderList'mkFreebinderList'Arity substList unbindList eqBinderListbindList boxBinderList bindListApplybuildBinderList