Skip to main content

value_type_holds

shifty_engine::value

Function value_type_holds 

Source 
pub fn value_type_holds(vt: &ValueType, term: &Term) -> bool
Expand description

Does term satisfy value type τ?