Searched defs:lambda_transform_legal_p (Results 1 – 2 of 2) sorted by relevance
305 lambda_transform_legal_p (lambda_trans_matrix trans, in lambda_transform_legal_p() function
352 lambda_transform_legal_p (lambda_trans_matrix trans, in lambda_transform_legal_p() function