cps.h File Reference

#include <mim/rewrite.h>
#include <mim/world.h>
#include "mim/plug/cps/autogen.h"

Include dependency graph for cps.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	mim
namespace	mim::plug
namespace	mim::plug::cps
	The CPS Plugin

Functions
cps.cps2ds_dep
let k: Cn [t: T, Cn U t] = ...; let f: [t: T] → U = cps.cps2ds_dep (lm (t': T): * = [t → t']U) k;
const Def *	mim::plug::cps::op_cps2ds_dep (const Def *k)