#root::derive

Object root/derive.vi:15

trait Object[Object, Init, Rest];

key root/derive.vi:16

const Object::key[Object, Init, Rest; Object[Object, Init, Rest]]: String;

deconstruct root/derive.vi:17

fn Object::deconstruct[Object, Init, Rest; Object[Object, Init, Rest]](object: Object) -> (Init, Rest);

reconstruct root/derive.vi:18

fn Object::reconstruct[Object, Init, Rest; Object[Object, Init, Rest]](init: Init, rest: Rest) -> Object;