Function parse_signature 

pub fn parse_signature(def: &BuiltinDef, eff_var: u32) -> Result<Ty, String>

Parse one signature into a Ty. eff_var is the row-variable id to use for the definition’s open row, if it has one.