Overview  Index  Help 

PROOF_INFER

All Known Implementing Modules:

ProofInfer


The First-Order LoopW Type Inference proof inference. The proof inference builds a complete proof structure from a source code.

           
Value summary

val proofInfer : CoreAst.program -> ProofAst.program
           returns the complete proof.

 

       
Value detail

proofInfer

fun proofInfer p : CoreAst.program -> ProofAst.program

returns the complete proof.

Parameters:
p
the source program.
Returns:
the complete proof representation of p.

 


Overview  Index  Help