12 using law_char_zr = context<law_char, vcsn::expressionset<law_char_z>>;
VCSN_CTX_INSTANTIATE(ctx::lal_char_b)
context< law_char, vcsn::z > law_char_z
context< law_char, vcsn::expressionset< law_char_zr >> law_char_zrr
context< law_char, vcsn::expressionset< law_char_z >> law_char_zr