Skip to content

Instantly share code, notes, and snippets.

View hansihe's full-sized avatar

Hans Elias J. hansihe

View GitHub Profile
@hansihe
hansihe / playground.rs
Created January 7, 2016 07:29 — forked from anonymous/playground.rs
Shared via Rust Playground
use std::marker::PhantomData;
struct Env;
#[derive(Clone, Copy)]
struct Term<'a> {
life: PhantomData<&'a Env>,
}
// Decodes a Term to a rust value. This interfaces with native code.
trait Decoder: Sized {