[][src]Type Definition zkinterface::reading::Term

type Term<'a> = Variable<'a>;