Type Definition gluon_check::unify_type::UnifierState
[−]
[src]
type UnifierState<'a, U> = UnifierState<State<'a>, U>;
type UnifierState<'a, U> = UnifierState<State<'a>, U>;