auts/effects.v

22 lines
286 B
Coq
Raw Normal View History

2020-04-30 00:20:08 +02:00
module main
// Transmut effects
struct Effect {
mut:
name string
cond bool
in_elem &Elem
out_elem &Elem // Resulting element
cond_temp int
}
fn new_effect() &Effect {
e := &Effect{
//in_elem: null,
//out_elem: null,
2020-09-05 13:06:27 +02:00
in_elem: &Elem(0),
out_elem: &Elem(0),
2020-04-30 00:20:08 +02:00
}
return e
}