Skip to main content

TVNode

vest_lib::combinators::implicit

Function TVNode 

Source 
pub open spec fn TVNode<Tag, Left, Right>(
    left: Left,
    right: Right,
) -> TagValNode<Tag, Left, Right>
Expand description
{ TagValNode(left, right, core::marker::PhantomData) }

Convenience constructor for TagValNode.