let find_generic_role role_id = match (find_role role_id) with Basic x -> (x :> Types.generic_hlpsl_role) | Composition x -> (x :> Types.generic_hlpsl_role)