= B , ast (lsorts-t