Skip to main content

infer_to_logos

logicaffeine_compile::analysis::unify

Function infer_to_logos 

Source 
pub fn infer_to_logos(ty: &InferType) -> LogosType
Expand description

Convert a zonked InferType to LogosType.