{"efVersion":"0.10.5","efModuleName":["Math"],"efExports":[{"TypeRef":["Radians",[]]},{"ValueRef":{"Ident":"abs"}},{"ValueRef":{"Ident":"acos"}},{"ValueRef":{"Ident":"asin"}},{"ValueRef":{"Ident":"atan"}},{"ValueRef":{"Ident":"atan2"}},{"ValueRef":{"Ident":"ceil"}},{"ValueRef":{"Ident":"cos"}},{"ValueRef":{"Ident":"e"}},{"ValueRef":{"Ident":"exp"}},{"ValueRef":{"Ident":"floor"}},{"ValueRef":{"Ident":"ln10"}},{"ValueRef":{"Ident":"ln2"}},{"ValueRef":{"Ident":"log"}},{"ValueRef":{"Ident":"log10e"}},{"ValueRef":{"Ident":"log2e"}},{"ValueRef":{"Ident":"max"}},{"ValueRef":{"Ident":"min"}},{"ValueRef":{"Ident":"pi"}},{"ValueRef":{"Ident":"pow"}},{"ValueRef":{"Ident":"remainder"}},{"ValueRef":{"Ident":"round"}},{"ValueRef":{"Ident":"sin"}},{"ValueRef":{"Ident":"sqrt"}},{"ValueRef":{"Ident":"sqrt1_2"}},{"ValueRef":{"Ident":"sqrt2"}},{"ValueRef":{"Ident":"tan"}},{"ValueRef":{"Ident":"trunc"}},{"ValueOpRef":"%"}],"efImports":[{"eiModule":["Prim"],"eiImportType":{"Implicit":[]},"eiImportedAs":null}],"efFixities":[{"efAssociativity":"infixl","efPrecedence":7,"efOperator":"%","efAlias":[["Math"],{"Left":{"Ident":"remainder"}}]}],"efTypeFixities":[],"efDeclarations":[{"EDType":{"edTypeName":"Radians","edTypeKind":{"tag":"NamedKind","contents":[["Prim"],"Type"]},"edTypeDeclarationKind":{"TypeSynonym":[]}}},{"EDTypeSynonym":{"edTypeSynonymName":"Radians","edTypeSynonymArguments":[],"edTypeSynonymType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"abs"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"acos"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Math"],"Radians"]}]}}},{"EDValue":{"edValueName":{"Ident":"asin"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Math"],"Radians"]}]}}},{"EDValue":{"edValueName":{"Ident":"atan"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Math"],"Radians"]}]}}},{"EDValue":{"edValueName":{"Ident":"atan2"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Math"],"Radians"]}]}]}}},{"EDValue":{"edValueName":{"Ident":"ceil"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"cos"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Math"],"Radians"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"e"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"exp"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"floor"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"ln10"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"ln2"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"log"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"log10e"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"log2e"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"max"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}]}}},{"EDValue":{"edValueName":{"Ident":"min"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}]}}},{"EDValue":{"edValueName":{"Ident":"pi"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"pow"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}]}}},{"EDValue":{"edValueName":{"Ident":"remainder"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}]}}},{"EDValue":{"edValueName":{"Ident":"round"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"sin"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Math"],"Radians"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"sqrt"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"sqrt1_2"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"sqrt2"},"edValueType":{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}}},{"EDValue":{"edValueName":{"Ident":"tan"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Math"],"Radians"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}},{"EDValue":{"edValueName":{"Ident":"trunc"},"edValueType":{"tag":"TypeApp","contents":[{"tag":"TypeApp","contents":[{"tag":"TypeConstructor","contents":[["Prim"],"Function"]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]},{"tag":"TypeConstructor","contents":[["Prim"],"Number"]}]}}}]}