Îõ³h&EêÄ      !"#$%&'()*+,-./0123456789:;<=>?@ABC)Variable binding for abstract syntax tree(c) 2023 Keito KajitaniMIT#Keito Kajitani  Safe-Inferred6ÂÄÅÉÌÚÜïpbinder;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  ./binderbinding5binderThe names of variables.6binder Smart constructor for a list of .7binder&Create new variables with given names.=binderVariable substitution.>binder unbinding@binder Check if two bindings are equal.Dbinder"Smart constructor for 'BinderList.Abinderbinding; %&'()*+,-./0123456789:;<=>?@ABC;  ()'*./+,-01&2345678%:9;<=@A>?BCÅ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFÇ!binder-0.3-GeGeKmD3bpdICK8ZmlNBcl Data.BinderBoxVarMonadNumbering Numbering numbering$fApplicativeClosure$fFunctorClosure$fOrdVar$fEqVarvar'KeyBindervar'Name var'mkFreevar'BoxnameOfboxVarnewVarcopyVarisClosedoccurunboxboxapBoxboxApply boxApply2 boxApply3 boxApply4boxPair boxTripleboxTboxListboxJoin$fApplicativeBox $fFunctorBox $fShowAnyVar $fShowVarBody $fShowVar BinderListVarList binder'Body binder'Name binder'mkFreesubstunbindunbind2eqBinder buildBinderbind boxBinder bindApply varList'Keys varList'Names varList'BoxesnamesOf boxVarList newVarList copyVarListbinderList'BodybinderList'NamesbinderList'mkFreebinderList'Arity substList unbindList unbind2List eqBinderListbindList boxBinderList bindListApplybuildBinderList