Claim

class Claim {
    constructor(p, q) { ... }
}

module.exports = Claim;

constructor(p, q)

args:
    Claim|Object         p
    Claim|Function|Value q

Deduction

class Deduction {
    constructor(claim) { ... }
    deduce(key, value) { ... }
    deduce(pair) { ... }
    end() { ... }
}

module.exports = Deduction;

constructor(claim)

args:
    Claim claim[]

deduce(key, value)

args:
    String key
    Value  value
return:
    this

deduce(pair)

args:
    Object pair
return:
    this

end()

return:
    {p:[], q:[]}

License

MIT © May xiaoya zhang