Method propose

src/runtime/join.ts:67–67

(index: MultiIndex, prefix: any[])

  // Given a prefix of solved variables, return a proposal for
  // solving a new variable
  propose(index: MultiIndex, prefix: any[]) : Proposal,
  // Take a proposal and resolve it into the actual values being
  // proposed
  resolveProposal(index: MultiIndex, proposal: Proposal, prefix: any[]) : any[],