2018-08-02T18:59:05.238218130LibreOffice/6.0.5.2$Linux_X86_64 LibreOffice_project/00m0$Build-22018-10-01T19:29:44.753564292PT6H30M19S9 0 0 38038 22621 view1 2 38 0 0 0 0 2 0 0 0 15 0 100 60 true false Sheet1 1237 0 100 60 false true true true 12632256 true true true true false false false 1270 1270 1 1 true false 7 true false false 0 true sgH+/0xleG1hcmstWDY1NmRlAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQ1VQUzpMZXhtYXJrLVg2NTZkZQAAAAAAAAAAAAAAAAAWAAMA0wAAAAAAAAAIAFZUAAAkbQAASm9iRGF0YSAxCnByaW50ZXI9TGV4bWFyay1YNjU2ZGUKb3JpZW50YXRpb249UG9ydHJhaXQKY29waWVzPTEKY29sbGF0ZT1mYWxzZQptYXJnaW5kYWp1c3RtZW50PTAsMCwwLDAKY29sb3JkZXB0aD0yNApwc2xldmVsPTAKcGRmZGV2aWNlPTEKY29sb3JkZXZpY2U9MApQUERDb250ZXhEYXRhCkR1cGxleDpOb25lAElucHV0U2xvdDpUcmF5MQBQYWdlU2l6ZTpMZXR0ZXIAABIAQ09NUEFUX0RVUExFWF9NT0RFDwBEdXBsZXhNb2RlOjpPZmY= Lexmark-X656de true 3 true false true true 12632256 true true true false true false true 1 false 1270 1270 false 1 true ??? Page 1 ???(???) 00/00/0000, 00:00:00 Page 1/ 99 AST Current Transcend Proposition 1 Types Tests Expr op id state bindings operands type tags bind(var, annotation) blocks value CodeScope scope(scopeId) ast_scope(scopeId) bindings ast_scope_binding(scopeId, BindingId, ScopeBindName) ast_scope_binding(scopeId, BindingId, ScopeBindName) LIST CFA.ASTCorrespondence_Scope_Bindings_1 identifiers ast_scope_identifier(scopeId, Var) LIST parent cfa_parent(scopeCurrent, scope(scopeParent)) ast_scope_parent(ScopeId, ScopeParentId) SINGLE declarations LIST tags bind_scope(scopeId, tag, strong/weak(..)) LIST contextRules Function entry cfa_parent(scopeEntry, functon(name)) SINGLE name function(name) SINGLE guard cfa_function_specializations(funcName, tag) SINGLE tags bind_func(name, tag) LIST Special Expressions CALL cfa_call(scopeFrom, functionTo)dfa_callfn(SymbRet, FnName)weak/dfa_callargs(SymbRet, argFormal, argActual)dfa_fnret(fnName, symbRet) Operator::MAP ast_op_map(SymbResult, SymbSource, ScopeBody) Operator::FOLD ast_op_fold(SymbResult, SymbSource, SymbAcc, ScopeBody) Operator::LIST ast_op_list(SymbResult, Size) Operator::LIST_RANGE ast_op_list_range(SymbResult) Operator::INDEX ast_op_index(SymbResult, SymbSource, SymbIndex) OTHER var: s(id, version, scope), a(Num) v(var1) weak/dfa_alias(aliasFormal, Actual)