{
  "Name": "n3_builtin_coverage",
  "Title": "Builtin coverage smoke",
  "SourceFile": "examples/n3/builtin_coverage.n3",
  "SourceSHA256": "7f2e27c7a2129543908d528126a301f89484b261fc8a09367b1b51da729905b9",
  "Description": "Exercises math, string, list, crypto, time, and log builtins in compiled JavaScript.",
  "Compiler": "see.js N3-to-JS compiler",
  "CompiledFacts": 0,
  "CompiledRules": 1,
  "CompiledBackwardRules": 0,
  "CompiledFuses": 0,
  "CompiledQueries": 1,
  "Builtins": [
    "crypto:sha256",
    "list:append",
    "list:first",
    "list:in",
    "list:last",
    "list:length",
    "list:member",
    "list:remove",
    "list:rest",
    "list:reverse",
    "log:conjunction",
    "math:absoluteValue",
    "math:degrees",
    "math:difference",
    "math:integerQuotient",
    "math:negation",
    "math:product",
    "math:quotient",
    "math:remainder",
    "math:sum",
    "string:charAt",
    "string:concatenation",
    "string:contains",
    "string:containsIgnoringCase",
    "string:format",
    "string:length",
    "string:scrape",
    "string:setCharAt"
  ]
}