summaryrefslogtreecommitdiff
path: root/tests/purs/publish/basic-example/output/Data.HeytingAlgebra/externs.json
diff options
context:
space:
mode:
Diffstat (limited to 'tests/purs/publish/basic-example/output/Data.HeytingAlgebra/externs.json')
-rw-r--r--tests/purs/publish/basic-example/output/Data.HeytingAlgebra/externs.json2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/purs/publish/basic-example/output/Data.HeytingAlgebra/externs.json b/tests/purs/publish/basic-example/output/Data.HeytingAlgebra/externs.json
index 0343b61..b9eb64b 100644
--- a/tests/purs/publish/basic-example/output/Data.HeytingAlgebra/externs.json
+++ b/tests/purs/publish/basic-example/output/Data.HeytingAlgebra/externs.json
@@ -1 +1 @@
-{"efVersion":"0.12.5","efModuleName":["Data","HeytingAlgebra"],"efExports":[{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"tt"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"ff"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"implies"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"conj"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"disj"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"not"}]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"&&"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"||"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"HeytingAlgebraRecord"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"ffRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"ttRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"impliesRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"conjRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"disjRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"notRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraBoolean"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraUnit"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraRecordNil"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraRecordCons"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Symbol"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[6,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[6,35]},"IsSymbol"]},{"TypeRef":[{"start":[6,37],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[6,47]},"SProxy",null]},{"ValueRef":[{"start":[6,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[6,62]},{"Ident":"reflectSymbol"}]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[7,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[7,23]},"Unit",[]]},{"ValueRef":[{"start":[7,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[7,29]},{"Ident":"unit"}]}]},"eiImportedAs":null},{"eiModule":["Prim","Row"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Row"]},{"eiModule":["Prim","RowList"],"eiImportType":{"Implicit":[]},"eiImportedAs":["RL"]},{"eiModule":["Record","Unsafe"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[10,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[10,32]},{"Ident":"unsafeGet"}]},{"ValueRef":[{"start":[10,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[10,43]},{"Ident":"unsafeSet"}]}]},"eiImportedAs":null},{"eiModule":["Type","Data","Row"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[11,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[11,33]},"RProxy",null]}]},"eiImportedAs":null},{"eiModule":["Type","Data","RowList"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[12,27],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[12,38]},"RLProxy",null]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixr","efPrecedence":3,"efOperator":"&&","efAlias":[["Data","HeytingAlgebra"],{"Left":{"Ident":"conj"}}]},{"efAssociativity":"infixr","efPrecedence":2,"efOperator":"||","efAlias":[["Data","HeytingAlgebra"],{"Left":{"Ident":"disj"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"HeytingAlgebra","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"HeytingAlgebra","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["ff",{"annotation":[{"start":[40,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[40,10]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["tt",{"annotation":[{"start":[41,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[41,10]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["implies",{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,23]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,20]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["conj",{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["disj",{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["not",{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[45,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}]}]}]}]}}},{"EDClass":{"edClassName":"HeytingAlgebra","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"ff"},{"annotation":[{"start":[40,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[40,10]},[]],"tag":"TypeVar","contents":"a"}],[{"Ident":"tt"},{"annotation":[{"start":[41,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[41,10]},[]],"tag":"TypeVar","contents":"a"}],[{"Ident":"implies"},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,23]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,20]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeVar","contents":"a"}]}]}],[{"Ident":"conj"},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeVar","contents":"a"}]}]}],[{"Ident":"disj"},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeVar","contents":"a"}]}]}],[{"Ident":"not"},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[45,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeVar","contents":"a"}]}]],"edClassConstraints":[],"edFunctionalDependencies":[]}},{"EDValue":{"edValueName":{"Ident":"tt"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[41,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[41,10]},[]],"tag":"TypeVar","contents":"a"}]},3]}}},{"EDValue":{"edValueName":{"Ident":"ff"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[40,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[40,10]},[]],"tag":"TypeVar","contents":"a"}]},17]}}},{"EDValue":{"edValueName":{"Ident":"implies"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,23]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,20]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeVar","contents":"a"}]}]}]},11]}}},{"EDValue":{"edValueName":{"Ident":"conj"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeVar","contents":"a"}]}]}]},37]}}},{"EDValue":{"edValueName":{"Ident":"disj"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeVar","contents":"a"}]}]}]},21]}}},{"EDValue":{"edValueName":{"Ident":"not"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[45,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeVar","contents":"a"}]}]},7]}}},{"EDType":{"edTypeName":"HeytingAlgebraRecord","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"NamedKind","contents":[["Prim","RowList"],"RowList"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"Row","contents":{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"Row","contents":{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"HeytingAlgebraRecord","edTypeSynonymArguments":[["rowlist",null],["row",null],["subrow",null]],"edTypeSynonymType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["ffRecord",{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[89,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[89,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[89,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["ttRecord",{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[90,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[90,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[90,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["impliesRecord",{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,27]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[91,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,52]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,66]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,73]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["disjRecord",{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[92,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["conjRecord",{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[93,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["notRecord",{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,32],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,23]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[94,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}]}]}]}]}}},{"EDClass":{"edClassName":"HeytingAlgebraRecord","edClassTypeArguments":[["rowlist",null],["row",null],["subrow",null]],"edClassMembers":[[{"Ident":"ffRecord"},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[89,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[89,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[89,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}],[{"Ident":"ttRecord"},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[90,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[90,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[90,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}],[{"Ident":"impliesRecord"},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,27]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[91,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,52]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,66]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,73]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}],[{"Ident":"disjRecord"},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[92,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}],[{"Ident":"conjRecord"},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[93,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}],[{"Ident":"notRecord"},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,32],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,23]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[94,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[2]}]}},{"EDValue":{"edValueName":{"Ident":"ffRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[89,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[89,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[89,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},14]},15]},16]}}},{"EDValue":{"edValueName":{"Ident":"ttRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[90,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[90,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[90,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},0]},1]},2]}}},{"EDValue":{"edValueName":{"Ident":"impliesRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,27]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[91,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,52]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,66]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,73]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}]},8]},9]},10]}}},{"EDValue":{"edValueName":{"Ident":"conjRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[93,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}]},22]},23]},24]}}},{"EDValue":{"edValueName":{"Ident":"disjRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[92,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}]},18]},19]},20]}}},{"EDValue":{"edValueName":{"Ident":"notRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,32],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,23]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[94,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},4]},5]},6]}}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraBoolean"},"edInstanceTypes":[{"annotation":[{"start":[50,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[50,57]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraBoolean"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraUnit"},"edInstanceTypes":[{"annotation":[{"start":[58,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[58,51]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraUnit"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraFunction"},"edInstanceTypes":[{"annotation":[{"start":[66,72],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,78]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,72],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,78]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,76]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,72],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,73]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,77],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,78]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[66,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,52]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[66,51],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,52]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraFunction"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraRecord"},"edInstanceTypes":[{"annotation":[{"start":[74,112],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,122]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[74,112],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,118]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[74,119],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,122]},[]],"tag":"TypeVar","contents":"row"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[74,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,56]},[]],"constraintClass":[["Prim","RowList"],"RowToList"],"constraintArgs":[{"annotation":[{"start":[74,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,51]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[74,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,56]},[]],"tag":"TypeVar","contents":"list"}],"constraintData":null},{"constraintAnn":[{"start":[74,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,91]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[74,79],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,83]},[]],"tag":"TypeVar","contents":"list"},{"annotation":[{"start":[74,84],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,87]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[74,88],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,91]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null}],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraRecord"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"edInstanceName":{"Ident":"heytingAlgebraRecordNil"},"edInstanceTypes":[{"annotation":[{"start":[96,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[96,64]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Nil"]},{"annotation":[{"start":[96,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[96,68]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[96,70],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[96,71]},[]],"tag":"REmpty"}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraRecordNil"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"edInstanceName":{"Ident":"heytingAlgebraRecordCons"},"edInstanceTypes":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,47]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,37]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Cons"]},{"annotation":[{"start":[110,38],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,41]},[]],"tag":"TypeVar","contents":"key"}]},{"annotation":[{"start":[110,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,47]},[]],"tag":"TypeVar","contents":"focus"}]},{"annotation":[{"start":[110,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,59]},[]],"tag":"TypeVar","contents":"rowlistTail"}]},{"annotation":[{"start":[110,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,64]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[110,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,71]},[]],"tag":"TypeVar","contents":"subrow"}],"edInstanceConstraints":[{"constraintAnn":[{"start":[105,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[105,22]},[]],"constraintClass":[["Data","Symbol"],"IsSymbol"],"constraintArgs":[{"annotation":[{"start":[105,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[105,22]},[]],"tag":"TypeVar","contents":"key"}],"constraintData":null},{"constraintAnn":[{"start":[106,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,46]},[]],"constraintClass":[["Prim","Row"],"Cons"],"constraintArgs":[{"annotation":[{"start":[106,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,22]},[]],"tag":"TypeVar","contents":"key"},{"annotation":[{"start":[106,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,28]},[]],"tag":"TypeVar","contents":"focus"},{"annotation":[{"start":[106,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,39]},[]],"tag":"TypeVar","contents":"subrowTail"},{"annotation":[{"start":[106,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,46]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"constraintAnn":[{"start":[107,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,57]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[107,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,42]},[]],"tag":"TypeVar","contents":"rowlistTail"},{"annotation":[{"start":[107,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,46]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[107,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,57]},[]],"tag":"TypeVar","contents":"subrowTail"}],"constraintData":null},{"constraintAnn":[{"start":[108,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[108,30]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[108,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[108,30]},[]],"tag":"TypeVar","contents":"focus"}],"constraintData":null}],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraRecordCons"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]}} \ No newline at end of file
+{"efVersion":"0.13.2","efModuleName":["Data","HeytingAlgebra"],"efExports":[{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"HeytingAlgebra"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"tt"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"ff"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"implies"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"conj"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"disj"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"not"}]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"&&"]},{"ValueOpRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"||"]},{"TypeClassRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},"HeytingAlgebraRecord"]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"ffRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"ttRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"impliesRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"conjRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"disjRecord"}]},{"ValueRef":[{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]},{"Ident":"notRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraBoolean"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraUnit"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraFunction"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraRecord"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraRecordNil"}]},{"TypeInstanceRef":[{"start":[0,0],"name":"<generated>","end":[0,0]},{"Ident":"heytingAlgebraRecordCons"}]}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Prim"]},{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null},{"eiModule":["Data","Symbol"],"eiImportType":{"Explicit":[{"TypeClassRef":[{"start":[6,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[6,35]},"IsSymbol"]},{"TypeRef":[{"start":[6,37],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[6,47]},"SProxy",null]},{"ValueRef":[{"start":[6,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[6,62]},{"Ident":"reflectSymbol"}]}]},"eiImportedAs":null},{"eiModule":["Data","Unit"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[7,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[7,23]},"Unit",[]]},{"ValueRef":[{"start":[7,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[7,29]},{"Ident":"unit"}]}]},"eiImportedAs":null},{"eiModule":["Prim","Row"],"eiImportType":{"Implicit":[]},"eiImportedAs":["Row"]},{"eiModule":["Prim","RowList"],"eiImportType":{"Implicit":[]},"eiImportedAs":["RL"]},{"eiModule":["Record","Unsafe"],"eiImportType":{"Explicit":[{"ValueRef":[{"start":[10,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[10,32]},{"Ident":"unsafeGet"}]},{"ValueRef":[{"start":[10,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[10,43]},{"Ident":"unsafeSet"}]}]},"eiImportedAs":null},{"eiModule":["Type","Data","Row"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[11,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[11,33]},"RProxy",null]}]},"eiImportedAs":null},{"eiModule":["Type","Data","RowList"],"eiImportType":{"Explicit":[{"TypeRef":[{"start":[12,27],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[12,38]},"RLProxy",null]}]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixr","efPrecedence":3,"efOperator":"&&","efAlias":[["Data","HeytingAlgebra"],{"Left":{"Ident":"conj"}}]},{"efAssociativity":"infixr","efPrecedence":2,"efOperator":"||","efAlias":[["Data","HeytingAlgebra"],{"Left":{"Ident":"disj"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"HeytingAlgebra","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"HeytingAlgebra","edTypeSynonymArguments":[["a",null]],"edTypeSynonymType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["ff",{"annotation":[{"start":[40,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[40,10]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["tt",{"annotation":[{"start":[41,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[41,10]},[]],"tag":"TypeVar","contents":"a"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["implies",{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,23]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,20]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["conj",{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["disj",{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeVar","contents":"a"}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["not",{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[45,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}]}]}]}]}}},{"EDClass":{"edClassName":"HeytingAlgebra","edClassTypeArguments":[["a",null]],"edClassMembers":[[{"Ident":"ff"},{"annotation":[{"start":[40,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[40,10]},[]],"tag":"TypeVar","contents":"a"}],[{"Ident":"tt"},{"annotation":[{"start":[41,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[41,10]},[]],"tag":"TypeVar","contents":"a"}],[{"Ident":"implies"},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,23]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,20]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeVar","contents":"a"}]}]}],[{"Ident":"conj"},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeVar","contents":"a"}]}]}],[{"Ident":"disj"},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeVar","contents":"a"}]}]}],[{"Ident":"not"},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[45,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeVar","contents":"a"}]}]],"edClassConstraints":[],"edFunctionalDependencies":[],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"tt"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[41,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[41,10]},[]],"tag":"TypeVar","contents":"a"}]},3]}}},{"EDValue":{"edValueName":{"Ident":"ff"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[40,9],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[40,10]},[]],"tag":"TypeVar","contents":"a"}]},17]}}},{"EDValue":{"edValueName":{"Ident":"implies"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,18]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,14],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,15]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[42,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,23]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[42,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,20]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[42,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[42,25]},[]],"tag":"TypeVar","contents":"a"}]}]}]},11]}}},{"EDValue":{"edValueName":{"Ident":"conj"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[43,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[43,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[43,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[43,22]},[]],"tag":"TypeVar","contents":"a"}]}]}]},37]}}},{"EDValue":{"edValueName":{"Ident":"disj"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,13],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,15]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,11],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,12]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[44,18],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,20]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[44,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,17]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[44,21],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[44,22]},[]],"tag":"TypeVar","contents":"a"}]}]}]},21]}}},{"EDValue":{"edValueName":{"Ident":"not"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["a",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"a"}],"constraintData":null},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[45,12],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,14]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[45,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,11]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[45,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[45,16]},[]],"tag":"TypeVar","contents":"a"}]}]},7]}}},{"EDType":{"edTypeName":"HeytingAlgebraRecord","edTypeKind":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"NamedKind","contents":[["Prim","RowList"],"RowList"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"Row","contents":{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"FunKind","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"Row","contents":{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"NamedKind","contents":[["Prim"],"Type"]}]}]}]},"edTypeDeclarationKind":"TypeSynonym"}},{"EDTypeSynonym":{"edTypeSynonymName":"HeytingAlgebraRecord","edTypeSynonymArguments":[["rowlist",null],["row",null],["subrow",null]],"edTypeSynonymType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["ffRecord",{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[89,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[89,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[89,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["ttRecord",{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[90,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[90,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[90,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["impliesRecord",{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,27]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[91,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,52]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,66]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,73]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["disjRecord",{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[92,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["conjRecord",{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[93,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"RCons","contents":["notRecord",{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,32],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,23]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[94,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"REmpty"}]}]}]}]}]}]}]}}},{"EDClass":{"edClassName":"HeytingAlgebraRecord","edClassTypeArguments":[["rowlist",null],["row",null],["subrow",null]],"edClassMembers":[[{"Ident":"ffRecord"},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[89,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[89,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[89,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}],[{"Ident":"ttRecord"},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[90,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[90,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[90,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}],[{"Ident":"impliesRecord"},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,27]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[91,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,52]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,66]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,73]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}],[{"Ident":"disjRecord"},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[92,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}],[{"Ident":"conjRecord"},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[93,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}],[{"Ident":"notRecord"},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,32],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,23]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[94,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]],"edClassConstraints":[],"edFunctionalDependencies":[{"determiners":[0],"determined":[2]}],"edIsEmpty":false}},{"EDValue":{"edValueName":{"Ident":"ffRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[89,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[89,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[89,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[89,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[89,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},14]},15]},16]}}},{"EDValue":{"edValueName":{"Ident":"ttRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,33]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,15],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,22]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[90,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,30]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,45],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,47]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,34],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,40]},[]],"tag":"TypeConstructor","contents":[["Type","Data","Row"],"RProxy"]},{"annotation":[{"start":[90,41],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,44]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[90,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,54]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[90,55],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[90,61]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},0]},1]},2]}}},{"EDValue":{"edValueName":{"Ident":"impliesRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,38]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,20],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,27]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[91,28],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,35]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,52]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,39],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,45]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,49]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,66]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,53],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,59]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,60],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,63]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[91,67],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,73]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[91,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[91,80]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}]},8]},9]},10]}}},{"EDValue":{"edValueName":{"Ident":"conjRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[93,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[93,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[93,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[93,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}]},22]},23]},24]}}},{"EDValue":{"edValueName":{"Ident":"disjRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,33],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,35]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,17],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,24]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[92,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,32]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,49]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,42]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,46]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,63]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,56]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,57],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,60]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[92,64],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,70]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[92,71],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[92,77]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]}]},18]},19]},20]}}},{"EDValue":{"edValueName":{"Ident":"notRecord"},"edValueType":{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["rowlist",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["row",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ForAll","contents":["subrow",{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"ConstrainedType","contents":[{"constraintAnn":[{"start":[0,0],"name":"","end":[0,0]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"rowlist"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[0,0],"name":"","end":[0,0]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,32],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,34]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,16],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,23]},[]],"tag":"TypeConstructor","contents":[["Type","Data","RowList"],"RLProxy"]},{"annotation":[{"start":[94,24],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,31]},[]],"tag":"TypeVar","contents":"rowlist"}]}]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,46],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,48]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,41]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,45]},[]],"tag":"TypeVar","contents":"row"}]}]},{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[94,49],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,55]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[94,56],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[94,62]},[]],"tag":"TypeVar","contents":"subrow"}]}]}]}]},4]},5]},6]}}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraBoolean"},"edInstanceTypes":[{"annotation":[{"start":[50,50],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[50,57]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Boolean"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraBoolean"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraUnit"},"edInstanceTypes":[{"annotation":[{"start":[58,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[58,51]},[]],"tag":"TypeConstructor","contents":[["Data","Unit"],"Unit"]}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraUnit"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraFunction"},"edInstanceTypes":[{"annotation":[{"start":[66,72],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,78]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,72],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,78]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[66,74],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,76]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"annotation":[{"start":[66,72],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,73]},[]],"tag":"TypeVar","contents":"a"}]},{"annotation":[{"start":[66,77],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,78]},[]],"tag":"TypeVar","contents":"b"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[66,36],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,52]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[66,51],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[66,52]},[]],"tag":"TypeVar","contents":"b"}],"constraintData":null}],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraFunction"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"edInstanceName":{"Ident":"heytingAlgebraRecord"},"edInstanceTypes":[{"annotation":[{"start":[74,112],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,122]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[74,112],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,118]},[]],"tag":"TypeConstructor","contents":[["Prim"],"Record"]},{"annotation":[{"start":[74,119],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,122]},[]],"tag":"TypeVar","contents":"row"}]}],"edInstanceConstraints":[{"constraintAnn":[{"start":[74,35],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,56]},[]],"constraintClass":[["Prim","RowList"],"RowToList"],"constraintArgs":[{"annotation":[{"start":[74,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,51]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[74,52],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,56]},[]],"tag":"TypeVar","contents":"list"}],"constraintData":null},{"constraintAnn":[{"start":[74,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,91]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[74,79],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,83]},[]],"tag":"TypeVar","contents":"list"},{"annotation":[{"start":[74,84],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,87]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[74,88],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[74,91]},[]],"tag":"TypeVar","contents":"row"}],"constraintData":null}],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraRecord"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"edInstanceName":{"Ident":"heytingAlgebraRecordNil"},"edInstanceTypes":[{"annotation":[{"start":[96,58],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[96,64]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Nil"]},{"annotation":[{"start":[96,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[96,68]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[96,70],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[96,71]},[]],"tag":"REmpty"}],"edInstanceConstraints":[],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraRecordNil"}]],"edInstanceChainIndex":0}},{"EDInstance":{"edInstanceClassName":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"edInstanceName":{"Ident":"heytingAlgebraRecordCons"},"edInstanceTypes":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,59]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,47]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,41]},[]],"tag":"TypeApp","contents":[{"annotation":[{"start":[110,30],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,37]},[]],"tag":"TypeConstructor","contents":[["Prim","RowList"],"Cons"]},{"annotation":[{"start":[110,38],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,41]},[]],"tag":"TypeVar","contents":"key"}]},{"annotation":[{"start":[110,42],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,47]},[]],"tag":"TypeVar","contents":"focus"}]},{"annotation":[{"start":[110,48],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,59]},[]],"tag":"TypeVar","contents":"rowlistTail"}]},{"annotation":[{"start":[110,61],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,64]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[110,65],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[110,71]},[]],"tag":"TypeVar","contents":"subrow"}],"edInstanceConstraints":[{"constraintAnn":[{"start":[105,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[105,22]},[]],"constraintClass":[["Data","Symbol"],"IsSymbol"],"constraintArgs":[{"annotation":[{"start":[105,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[105,22]},[]],"tag":"TypeVar","contents":"key"}],"constraintData":null},{"constraintAnn":[{"start":[106,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,46]},[]],"constraintClass":[["Prim","Row"],"Cons"],"constraintArgs":[{"annotation":[{"start":[106,19],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,22]},[]],"tag":"TypeVar","contents":"key"},{"annotation":[{"start":[106,23],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,28]},[]],"tag":"TypeVar","contents":"focus"},{"annotation":[{"start":[106,29],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,39]},[]],"tag":"TypeVar","contents":"subrowTail"},{"annotation":[{"start":[106,40],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[106,46]},[]],"tag":"TypeVar","contents":"subrow"}],"constraintData":null},{"constraintAnn":[{"start":[107,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,57]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebraRecord"],"constraintArgs":[{"annotation":[{"start":[107,31],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,42]},[]],"tag":"TypeVar","contents":"rowlistTail"},{"annotation":[{"start":[107,43],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,46]},[]],"tag":"TypeVar","contents":"row"},{"annotation":[{"start":[107,47],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[107,57]},[]],"tag":"TypeVar","contents":"subrowTail"}],"constraintData":null},{"constraintAnn":[{"start":[108,10],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[108,30]},[]],"constraintClass":[["Data","HeytingAlgebra"],"HeytingAlgebra"],"constraintArgs":[{"annotation":[{"start":[108,25],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[108,30]},[]],"tag":"TypeVar","contents":"focus"}],"constraintData":null}],"edInstanceChain":[[["Data","HeytingAlgebra"],{"Ident":"heytingAlgebraRecordCons"}]],"edInstanceChainIndex":0}}],"efSourceSpan":{"start":[1,1],"name":"../../../support/bower_components/purescript-prelude/src/Data/HeytingAlgebra.purs","end":[150,59]}} \ No newline at end of file