testSerializedJSON.json

{"datatypes":[{"tag":"DataDeclaration","fields":{"datatypeName":{"tyName":"Maybe"},"datatypeBinders":1,"datatypeConstructors":[{"constructorName":"Nothing","constructorArgs":[]},{"constructorName":"Just","constructorArgs":[{"tag":"Abstraction","fields":[[0,0]]}]}],"datatypeEncoding":{"tag":"SOP","fields":[]}}}],"asg":[{"key":10,"value":{"tag":"ACompNode","fields":[[0,[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]],{"tag":"LamInternal","fields":[{"tag":"AnId","fields":[9]}]}]}},{"key":9,"value":{"tag":"AValNode","fields":[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"Match","fields":[{"tag":"AnId","fields":[4]},[{"tag":"AnId","fields":[0]},{"tag":"AnId","fields":[8]}]]}]}},{"key":8,"value":{"tag":"AValNode","fields":[{"tag":"ThunkT","fields":[[0,[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]]]},{"tag":"Thunk","fields":[7]}]}},{"key":7,"value":{"tag":"ACompNode","fields":[[0,[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]],{"tag":"LamInternal","fields":[{"tag":"AnId","fields":[6]}]}]}},{"key":6,"value":{"tag":"AValNode","fields":[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"App","fields":[5,[{"tag":"AnArg","fields":[{"argDeBruijn":0,"argIndex":0,"argType":{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}}]},{"tag":"AnArg","fields":[{"argDeBruijn":0,"argIndex":0,"argType":{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}}]}],[],[0,[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]]]}]}},{"key":5,"value":{"tag":"ACompNode","fields":[[0,[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]],{"tag":"Builtin2Internal","fields":[{"tag":"AddInteger"}]}]}},{"key":4,"value":{"tag":"AValNode","fields":[{"tag":"Datatype","fields":[{"tyName":"Maybe"},[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]]},{"tag":"App","fields":[3,[],[],[0,[{"tag":"Datatype","fields":[{"tyName":"Maybe"},[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]]}]]]}]}},{"key":3,"value":{"tag":"ACompNode","fields":[[0,[{"tag":"Datatype","fields":[{"tyName":"Maybe"},[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]]}]],{"tag":"ForceInternal","fields":[{"tag":"AnId","fields":[2]}]}]}},{"key":2,"value":{"tag":"AValNode","fields":[{"tag":"ThunkT","fields":[[0,[{"tag":"Datatype","fields":[{"tyName":"Maybe"},[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]}]]}]]]},{"tag":"DataConstructor","fields":[{"tyName":"Maybe"},"Just",[{"tag":"AnId","fields":[1]}]]}]}},{"key":1,"value":{"tag":"AValNode","fields":[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"Lit","fields":[{"tag":"AnInteger","fields":[2]}]}]}},{"key":0,"value":{"tag":"AValNode","fields":[{"tag":"BuiltinFlat","fields":[{"tag":"IntegerT"}]},{"tag":"Lit","fields":[{"tag":"AnInteger","fields":[0]}]}]}}],"version":{"major":0,"minor":0}}